conference-paper
Open access
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Research footprint
At a glance
- Citations
- 48
- References
- 46
- Comments
- 0
Paper overview
Abstract
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.
Record transparency
Publication details
- DOI
- 10.1007/978-3-031-65630-9_13
- OpenAlex
- W4400939442
- Document type
- conference-paper
- Language
- EN
- Source
- Lecture notes in computer science
- Last metadata update
Comments
Log in to join the discussion.