Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

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.

cs.AI cs.LG cs.LO Neural Networks and Applications Computer Science

Paper

References (77)

01Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic ProgramsM. Daggitt, Wen Kokke, R. Atkey et al.2024 · arXiv.org · 19 citations In Library

02The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and ResultsChristopher Brix, Stanley Bak, Changliu Liu et al.2023 · arXiv.org · 58 citations In Library

03Towards Efficient Verification of Quantized Neural NetworksPei Huang, Haoze Wu, Yuting Yang et al.2023 · AAAI Conference on Artificial Intelligence · 25 citations In Library

04Formally Explaining Neural Networks within Reactive SystemsShahaf Bassan, Guy Amir, Davide Corsi et al.2023 · Formal Methods in Computer-Aided Design · 29 citations In Library

05Towards a Certified Proof Checker for Deep Neural Network VerificationRemi Desmartin, Omri Isac, G. Passmore et al.2023 · International Workshop/Symposium on Logic-based Program Synthesis and Transformation · 12 citations In Library

06Neural Policy Safety Verification via Predicate Abstraction: CEGARMarcel Vinzent, Siddhant Sharma, Joerg Hoffmann2023 · AAAI Conference on Artificial Intelligence · 5 citations

07From Robustness to Explainability and Back AgainXuanxiang Huang, Joao Marques-Silva2023 · arXiv.org · 14 citations In Library

08Enhancing Deep Reinforcement Learning with Executable SpecificationsRaz Yerushalmi2023 · 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 1 citation

09Closed-loop Analysis of Vision-based Autonomous Systems: A Case StudyC. Păsăreanu, Ravi Mangal, D. Gopinath et al.2023 · International Conference on Computer Aided Verification · 43 citations In Library

10VeriX: Towards Verified Explainability of Deep Neural NetworksMin Wu, Haoze Wu, Clark W. Barrett2022 · Neural Information Processing Systems · 34 citations In Library

11Towards Reliable Neural SpecificationsChuqin Geng, Nham Le, Xiaojie Xu et al.2022 · International Conference on Machine Learning · 14 citations In Library

12Towards Formal XAI: Formally Approximate Minimal Explanations of Neural NetworksShahaf Bassan, Guy Katz2022 · International Conference on Tools and Algorithms for Construction and Analysis of Systems · 59 citations In Library

Scroll for more · 38 remaining

Similar papers

Marabou 2.0: A Versatile Formal Analyzer of Neural NetworksHaoze Wu, Omri Isac, Aleksandar Zeljić et al.2024 · Lecture notes in computer science In Library

The Marabou Framework for Verification and Analysis of Deep Neural NetworksGuy Katz, Derek A. Huang, Duligur Ibeling et al.2019 · Lecture notes in computer science · 622 citations In Library

An Abstraction-Based Framework for Neural Network VerificationY. Elboher, Justin Emile Gottschlich, Guy Katz2019 · International Conference on Computer Aided Verification · 143 citations In Library

An Abstraction-Based Framework for Neural Network VerificationYizhak Yisrael Elboher, Justin Gottschlich, Guy Katz2020 · Lecture notes in computer science In Library

An Abstraction-Based Framework for Neural Network VerificationYizhak Yisrael Elboher, Justin Gottschlich, Guy Katz2020 · ScholarlyCommons (University of Pennsylvania) In Library

Simplifying Neural Networks using Formal VerificationS. Gokulanathan, Alexander Feldsher, Adi Malca et al.2019 · arXiv.org · 4 citations In Library

NeVer2: learning and verification of neural networksS. Demarchi, Dario Guidotti, Luca Pulina et al.2024 · Soft Computing · 8 citations In Library

MARLeME: A Multi-Agent Reinforcement Learning Model Extraction LibraryDmitry Kazhdan, Zohreh Shams, Píetro Lió2020 In Library

MARLeME: A Multi-Agent Reinforcement Learning Model Extraction LibraryDmitry Kazhdan, Z. Shams, Pietro Lio'2020 · IEEE International Joint Conference on Neural Network · 17 citations In Library

A Certified Proof Checker for Deep Neural Network Verification in ImandraDesmartin, Remi, Isac, Omri, Passmore, Grant et al.2025 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) In Library

Source of record

arXiv

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal