Guy Katz
3 papers in the PaperMetrix corpus
Papers by this author
-
Verifying learning-augmented systems
2021
The application of deep reinforcement learning (DRL) to computer and networked systems has recently gained significant popularity. However, the obscurity of decisions by DRL policies renders it hard to ascertain that learning-augmented systems are safe …
-
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 …