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…