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

doi:10.1007/978-3-031-65630-9_13

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

70 Citations (Scopus)

53 Downloads (Pure)

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.

Original language	English
Title of host publication	Computer Aided Verification. CAV 2024
Editors	Arie Gurfinkel, Vijay Ganesh
Publisher	Springer
Pages	249-264
Number of pages	16
ISBN (Electronic)	9783031656309
ISBN (Print)	9783031656293
DOIs	https://doi.org/10.1007/978-3-031-65630-9_13
Publication status	Published - 25 Jul 2024
Event	36th International Conference on Computer Aided Verification 2024 - Montreal, Canada Duration: 24 Jul 2024 → 27 Jul 2024

Publication series

Name	Lecture Notes in Computer Science
Volume	14682
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	36th International Conference on Computer Aided Verification 2024
Abbreviated title	CAV 2024
Country/Territory	Canada
City	Montreal
Period	24/07/24 → 27/07/24

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-031-65630-9_13Licence: CC BY

Download pdf
© The Author(s) 2024.
Final published version, 732 KBLicence: CC BY

Cite this

Wu, H., Isac, O., Zeljić, A., Tagomori, T., Daggitt, M., Kokke, W., Refaeli, I., Amir, G., Julian, K., Bassan, S., Huang, P., Lahav, O., Wu, M., Zhang, M., Komendantskaya, E., Katz, G., & Barrett, C. (2024). Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. In A. Gurfinkel, & V. Ganesh (Eds.), Computer Aided Verification. CAV 2024 (pp. 249-264). (Lecture Notes in Computer Science; Vol. 14682). Springer. https://doi.org/10.1007/978-3-031-65630-9_13

@inproceedings{eeaea6ba8684458eac856c4d7f8c0baa,

title = "Marabou 2.0: A Versatile Formal Analyzer of Neural Networks",

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{\textquoteright}s architectural design and highlight the major features and components introduced since its initial release.",

author = "Haoze Wu and Omri Isac and Aleksandar Zelji{\'c} 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",

note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.; 36th International Conference on Computer Aided Verification 2024, CAV 2024 ; Conference date: 24-07-2024 Through 27-07-2024",

year = "2024",

month = jul,

day = "25",

doi = "10.1007/978-3-031-65630-9\_13",

language = "English",

isbn = "9783031656293",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "249--264",

editor = "Arie Gurfinkel and Vijay Ganesh",

booktitle = "Computer Aided Verification. CAV 2024",

}

Wu, H, Isac, O, Zeljić, A, Tagomori, T, Daggitt, M, Kokke, W, Refaeli, I, Amir, G, Julian, K, Bassan, S, Huang, P, Lahav, O, Wu, M, Zhang, M, Komendantskaya, E, Katz, G & Barrett, C 2024, Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. in A Gurfinkel & V Ganesh (eds), Computer Aided Verification. CAV 2024. Lecture Notes in Computer Science, vol. 14682, Springer, pp. 249-264, 36th International Conference on Computer Aided Verification 2024, Montreal, Quebec, Canada, 24/07/24. https://doi.org/10.1007/978-3-031-65630-9_13

TY - GEN

T1 - Marabou 2.0

T2 - 36th International Conference on Computer Aided Verification 2024

AU - Wu, Haoze

AU - Isac, Omri

AU - Zeljić, Aleksandar

AU - Tagomori, Teruhiro

AU - Daggitt, Matthew

AU - Kokke, Wen

AU - Refaeli, Idan

AU - Amir, Guy

AU - Julian, Kyle

AU - Bassan, Shahaf

AU - Huang, Pei

AU - Lahav, Ori

AU - Wu, Min

AU - Zhang, Min

AU - Komendantskaya, Ekaterina

AU - Katz, Guy

AU - Barrett, Clark

PY - 2024/7/25

Y1 - 2024/7/25

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85200655151

U2 - 10.1007/978-3-031-65630-9_13

DO - 10.1007/978-3-031-65630-9_13

M3 - Conference contribution

AN - SCOPUS:85200655151

SN - 9783031656293

T3 - Lecture Notes in Computer Science

SP - 249

EP - 264

BT - Computer Aided Verification. CAV 2024

A2 - Gurfinkel, Arie

A2 - Ganesh, Vijay

PB - Springer

Y2 - 24 July 2024 through 27 July 2024

ER -