Marabou 2.0: a versatile formal analyzer of neural networks
Marabou 2.0: a versatile formal analyzer of neural networks
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.
249-264
Springer Science and Business Media B.V.
Wu, Haoze
66450eca-0b7f-4f7e-be73-d7d941ad8d21
Isac, Omri
c7b07a87-a81f-422f-b367-b256879b5a46
Zeljić, Aleksandar
a5f2701a-55f2-4659-907b-42a46aa7c5ac
Tagomori, Teruhiro
d88d6c7a-97e0-4e70-b656-9cababd0b00d
Daggitt, Matthew
7788a0b1-f07e-4b37-b34a-77b7d6ad4005
Kokke, Wen
94b622bd-ee25-4f29-87db-9bb0344d95a7
Refaeli, Idan
e7956c91-d6cc-4bff-a225-4529ad60a54b
Amir, Guy
9ceb2771-6842-4f15-965f-68be5ddaa7d6
Julian, Kyle
ebc7a7dc-96c6-45ff-a640-a95366b25949
Bassan, Shahaf
1381ce89-eab7-4fc7-83ac-e25baf73b83c
Huang, Pei
e05c6160-9c63-4dba-9ba2-fca7f5ca18d2
Lahav, Ori
835a0eb6-7a37-4281-a499-ca16d559f206
Wu, Min
c3b38f95-9bb1-46a6-946b-5245707abb9a
Zhang, Min
a7325ff1-529e-4010-9877-36b486325e6a
Komendantskaya, Ekaterina
f12d9c23-5589-40b8-bcf9-a04fe9dedf61
Katz, Guy
0d2bbdb4-3a24-482d-822d-bf8336f92500
Barrett, Clark
d6c2f8b8-92d6-4e20-a592-d853d62cd0ac
25 July 2024
Wu, Haoze
66450eca-0b7f-4f7e-be73-d7d941ad8d21
Isac, Omri
c7b07a87-a81f-422f-b367-b256879b5a46
Zeljić, Aleksandar
a5f2701a-55f2-4659-907b-42a46aa7c5ac
Tagomori, Teruhiro
d88d6c7a-97e0-4e70-b656-9cababd0b00d
Daggitt, Matthew
7788a0b1-f07e-4b37-b34a-77b7d6ad4005
Kokke, Wen
94b622bd-ee25-4f29-87db-9bb0344d95a7
Refaeli, Idan
e7956c91-d6cc-4bff-a225-4529ad60a54b
Amir, Guy
9ceb2771-6842-4f15-965f-68be5ddaa7d6
Julian, Kyle
ebc7a7dc-96c6-45ff-a640-a95366b25949
Bassan, Shahaf
1381ce89-eab7-4fc7-83ac-e25baf73b83c
Huang, Pei
e05c6160-9c63-4dba-9ba2-fca7f5ca18d2
Lahav, Ori
835a0eb6-7a37-4281-a499-ca16d559f206
Wu, Min
c3b38f95-9bb1-46a6-946b-5245707abb9a
Zhang, Min
a7325ff1-529e-4010-9877-36b486325e6a
Komendantskaya, Ekaterina
f12d9c23-5589-40b8-bcf9-a04fe9dedf61
Katz, Guy
0d2bbdb4-3a24-482d-822d-bf8336f92500
Barrett, Clark
d6c2f8b8-92d6-4e20-a592-d853d62cd0ac
Wu, Haoze, Isac, Omri, Zeljić, Aleksandar, Tagomori, Teruhiro, Daggitt, Matthew, Kokke, Wen, Refaeli, Idan, Amir, Guy, Julian, Kyle, Bassan, Shahaf, Huang, Pei, Lahav, Ori, Wu, Min, Zhang, Min, Komendantskaya, Ekaterina, Katz, Guy and Barrett, Clark
(2024)
Marabou 2.0: a versatile formal analyzer of neural networks.
Gurfinkel, Arie and Ganesh, Vijay
(eds.)
In Proceedings of Computer Aided Verification - 36th International Conference (CAV 2024).
vol. 14682 LNCS,
Springer Science and Business Media B.V.
.
(doi:10.1007/978-3-031-65630-9_13).
Record type:
Conference or Workshop Item
(Paper)
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.
Text
978-3-031-65630-9
- Version of Record
More information
Published date: 25 July 2024
Venue - Dates:
36th International Conference on Computer Aided Verification, CAV 2024, , Montreal, Canada, 2024-07-24 - 2024-07-27
Identifiers
Local EPrints ID: 502166
URI: http://eprints.soton.ac.uk/id/eprint/502166
ISSN: 0302-9743
PURE UUID: f75dc801-4af4-415c-bf06-3e868d279c08
Catalogue record
Date deposited: 17 Jun 2025 16:58
Last modified: 22 Aug 2025 02:39
Export record
Altmetrics
Contributors
Author:
Haoze Wu
Author:
Omri Isac
Author:
Aleksandar Zeljić
Author:
Teruhiro Tagomori
Author:
Matthew Daggitt
Author:
Wen Kokke
Author:
Idan Refaeli
Author:
Guy Amir
Author:
Kyle Julian
Author:
Shahaf Bassan
Author:
Pei Huang
Author:
Ori Lahav
Author:
Min Wu
Author:
Min Zhang
Author:
Ekaterina Komendantskaya
Author:
Guy Katz
Author:
Clark Barrett
Editor:
Arie Gurfinkel
Editor:
Vijay Ganesh
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics