Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , , , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866911880500477952 |
|---|---|
| author | 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 Barrett, Clark |
| author_facet | 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 Barrett, Clark |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_14461 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Marabou 2.0: A Versatile Formal Analyzer of Neural Networks 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 Barrett, Clark Artificial Intelligence Machine Learning Logic in Computer Science 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. |
| title | Marabou 2.0: A Versatile Formal Analyzer of Neural Networks |
| topic | Artificial Intelligence Machine Learning Logic in Computer Science |
| url | https://arxiv.org/abs/2401.14461 |