Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

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

CoRR（2024）

引用 0|浏览2

暂无评分

摘要

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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要