6 citations · 7 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
Verifying Global Neural Network Specifications using Hyperproperties
David Boetius, Stefan Leue
Current approaches to neural network verification focus on specifications that target small regions around known input data points, such as local robustness. Thus, using these appr…
cs.LG2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks
David Boetius, Stefan Leue, Tobias Sutter
Counterexample-guided repair aims at creating neural networks with mathematical safety guarantees, facilitating the application of neural networks in safety-critical domains. Howev…