ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification

no code implementations • 10 Jun 2018 • Moussa Amrani, Levi Lúcio, Adrien Bibal

Formal Verification (FV) and Machine Learning (ML) can seem incompatible due to their opposite mathematical foundations and their use in real-life problems: FV mostly relies on discrete mathematics and aims at ensuring correctness; ML often relies on probabilistic models and consists of learning patterns from training data.

Automated Theorem Proving BIG-bench Machine Learning