Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
2024-01-25Code Available3· sign in to hype
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
Code Available — Be the first to reproduce this paper.
ReproduceCode
- github.com/NeuralNetworkVerification/MarabouOfficialIn papertf★ 319
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.