Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

1 code implementation • 25 Jan 2024 • Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark Barrett

This paper serves as a comprehensive system description of version 2. 0 of the Marabou framework for formal analysis of neural networks.

CheckINN: Wide Range Neural Network Verification in Imandra (Extended)

no code implementations • 21 Jul 2022 • Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya, Matthew Daggitt

Neural networks are increasingly relied upon as components of complex safety-critical systems such as autonomous vehicles.

Autonomous Vehicles