David Boetius
- david.boetius@uni-konstanz.de david.boetius@uni-konstanz.de
- https://schema.org/Male he/him
- https://orcid.org/0000-0002-9071-1695
I'm a PhD student at the Software and Systems Engineering Group at University of Konstanz. I study applying formal methods in deep learning to create trustworthy machine learning models. In particular, this includes neural network verification and neural network repair. More broadly, I am interested in formal methods, optimisation, and programming languages.
News
- Preprint "Probabilistic Verification of Neural Networks using Branch and Bound" with Stefan Leue and Tobias Sutter available on arXiv [pdf].
- Preprint "Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics" with Stefan Leue available on arXiv [pdf].
- Paper "Verifying Global Neural Network Specifications using Hyperproperties" with Stefan Leue accepted at the FoMLAS 2023 workshop. Read on EasyChair [pdf].
- Paper "A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks" with Stefan Leue and Tobias Sutter accepted at ICML 2023. Read on OpenReview [pdf].
- SpecRepair [pdf] now available on GitHub.
https://orcid.org/0000-0002-9071-1695.