Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle D. Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark Barrett
Abstract
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.
Topics & Concepts
Computer scienceArtificial neural networkFormal methodsSpectrum analyzerArtificial intelligenceSoftware engineeringProgramming languageTelecommunicationsAdversarial Robustness in Machine LearningNeural Networks and ApplicationsFormal Methods in Verification