BibTeX record journals/corr/abs-2401-14461

• > Home > journals/corr/abs-2401-14461

@article{DBLP:journals/corr/abs-2401-14461,
  author       = {Haoze Wu and
                  Omri Isac and
                  Aleksandar Zeljic and
                  Teruhiro Tagomori and
                  Matthew L. 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 W. Barrett},
  title        = {Marabou 2.0: {A} Versatile Formal Analyzer of Neural Networks},
  journal      = {CoRR},
  volume       = {abs/2401.14461},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.14461},
  doi          = {10.48550/ARXIV.2401.14461},
  eprinttype    = {arXiv},
  eprint       = {2401.14461},
  timestamp    = {Sun, 04 Aug 2024 16:27:09 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-14461.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}