Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav
arXiv:2401.14461v297 citationsCAV
AI Analysis
This is an incremental update to a domain-specific tool for verifying neural network properties, primarily for researchers in formal methods and AI safety.
The paper describes Marabou 2.0, a tool for formal analysis of neural networks, focusing on its architectural design and new features introduced since the initial release.
This paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool's architectural design and highlight the major features and components introduced since its initial release.