TY  - RPRT
TI  - Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
AU  - Haoze Wu
AU  - Omri Isac
AU  - Aleksandar Zeljić
AU  - Teruhiro Tagomori
AU  - Matthew Daggitt
AU  - Wen Kokke
AU  - Idan Refaeli
AU  - Guy Amir
AU  - Kyle Julian
AU  - Shahaf Bassan
AU  - Pei Huang
AU  - Ori Lahav
AU  - Min Wu
AU  - Min Zhang
AU  - Ekaterina Komendantskaya
AU  - Guy Katz
AU  - Clark Barrett
PY  - 2024
UR  - https://arxiv.org/abs/2401.14461
ID  - 2401.14461
ER  -