Formal Methods Meet Machine Learning (F3ML)

Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter*, Mariëlle Stoelinga, Bernhard Steffen

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

3 Citations (Scopus)
178 Downloads (Pure)


The field of machine learning focuses on computationally efficient, yet approximate algorithms. On the contrary, the field of formal methods focuses on mathematical rigor and provable correctness. Despite their superficial differences, both fields offer mutual benefit. Formal methods offer methods to verify and explain machine learning systems, aiding their adoption in safety critical domains. Machine learning offers approximate, computationally efficient approaches that let formal methods scale to larger problems. This paper gives an introduction to the track “Formal Methods Meets Machine Learning” (F3ML) and shortly presents its scientific contributions, structured into two thematic subthemes: One, concerning formal methods based approaches for the explanation and verification of machine learning systems, and one concerning the employment of machine learning approaches to scale formal methods.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Subtitle of host publication11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham
PublisherSpringer Nature
Number of pages13
ISBN (Electronic)978-3-031-19759-8
ISBN (Print)978-3-031-19758-1
Publication statusPublished - 17 Oct 2022
Event11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022
Conference number: 11

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Abbreviated titleISoLA 2022


  • 2023 OA procedure


Dive into the research topics of 'Formal Methods Meet Machine Learning (F3ML)'. Together they form a unique fingerprint.

Cite this