Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Download PDF
Open Webpage

Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett

Published: 01 Jan 2024, Last Modified: 13 May 2025CAV (2) 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: 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.