Clark Barrett
3 papers in the PaperMetrix corpus
Papers by this author
-
Automating System Configuration
2021 · arXiv (Cornell University)
The increasing complexity of modern configurable systems makes it critical to improve the level of automation in the process of system configuration. Such automation can also improve the agility of the development cycle, allowing for …
-
Artifact for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
2024 · arXiv (Cornell University)
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 …
-
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
2024 · Lecture notes in computer science
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 …