no code implementations • 15 Feb 2019 • Ravi Mangal, Aditya V. Nori, Alessandro Orso
Our algorithm uses abstract interpretation to approximate the behavior of a neural network and compute an overapproximation of the input regions that violate robustness.
