CSV
publication icon
Global Burden Of Metabolic Risk Factors For Chronic Diseases Collaboration (BMI Mediated Effects) (2014) Metabolic mediators of the effects of body-mass index, overweight, and obesity on coronary heart disease and stroke: a pooled analysis of 97 prospective cohorts with 1·8 million participants. in Lancet (London, England)
publication icon
Slusarz N (2022) Differentiable Logics for Neural Network Training and Verification in Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
publication icon
Desmartin R (2022) Neural Networks in Imandra: Matrix Representation as a Verification Choice in Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings