Verification of Neural Networks: Specifying Global Robustness using Generative Models

Nathanaël Fijalkow, Mohit Kumar Gupta

The success of neural networks across most machine learning tasks and the persistence of adversarial examples have made the verification of such models an important quest. Several…