Pith. sign in

REVIEW

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2401.14461 v2 pith:QUFBICWY submitted 2024-01-25 cs.AI cs.LGcs.LO

Haoze Wu , Omri Isac , Aleksandar Zeljić , Teruhiro Tagomori , Matthew Daggitt , Wen Kokke , Idan Refaeli , Guy Amir
show 9 more authors
Kyle Julian Shahaf Bassan Pei Huang Ori Lahav Min Wu Min Zhang Ekaterina Komendantskaya Guy Katz Clark Barrett
This is my paper · ORCID
classification cs.AIcs.LGcs.LO
keywords formalmarabounetworksneuralanalysisanalyzerarchitecturalcomponents
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original 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.

Discussion (0). Continue with ORCID to comment.

Pith tools