News
2026
- I'll present my ICML'25 paper "Probabilistic Verification of Neural Networks using Branch and Bound" at SAIV'26. Meet you there!
- Paper "Verified SHAP: Probabilistic Verification of Neural Networks using Branch and Bound" with Shahaf Bassan, Guy Katz, Stefan Leue and Tobias Sutter accepted at ICML 2026! [pdf] [5min video] [slides]
2025
- Paper "Probabilistic Verification of Neural Networks using Branch and Bound" with Stefan Leue and Tobias Sutter accepted at ICML 2025! [pdf]
2024
- Preprint "Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics" with Stefan Leue available on arXiv [pdf]
2023
- Paper "A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks" with Stefan Leue and Tobias Sutter accepted at ICML 2023! [pdf]
- Paper "Verifying Global Neural Network Specifications using Hyperproperties" with Stefan Leue accepted at the FoMLAS 2023 workshop. [pdf]
2022
- SpecRepair [pdf] now available on GitHub.