Boetius, David

2 publications

ICML 2025 Solving Probabilistic Verification Problems of Neural Networks Using Branch and Bound David Boetius, Stefan Leue, Tobias Sutter

ICML 2023 A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks David Boetius, Stefan Leue, Tobias Sutter