@misc{indiciae8ed62a2bfcbe,
  title = {Marabou 2.0: A Versatile Formal Analyzer of Neural Networks},
  author = {Haoze Wu and Omri Isac and Aleksandar Zeljić and Teruhiro Tagomori and Matthew Daggitt and Wen Kokke and Idan Refaeli and Guy Amir and Kyle Julian and Shahaf Bassan and Pei Huang and Ori Lahav and Min Wu and Min Zhang and Ekaterina Komendantskaya and Guy Katz and Clark Barrett},
  year = {2024},
  url = {https://arxiv.org/abs/2401.14461},
  note = {Source identifier: 2401.14461}
}