Paper "A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks" accepted for ICML 2023

The paper "A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks", authored by David Boetius, Stefan Leue and Tobias Sutter has been accepted for presentation and publication at 40th International Conference on Machine Learning, ICML 2023, in Honolulu, Hawai'i.