6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.AI2024★ 6 cited
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Haoze Wu, Omri Isac, Aleksandar Zeljić +14
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 a…
cs.LG2022
Toward Certified Robustness Against Real-World Distribution Shifts
Haoze Wu, Teruhiro Tagomori, Alexander Robey +6
We consider the problem of certifying the robustness of deep neural networks against real-world distribution shifts. To do so, we bridge the gap between hand-crafted specifications…