Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Add code
Jan 25, 2024
Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan(+7 more)
Figure 1 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 2 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 3 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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.

* In submission  
View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon