Search Results for author: Aditya V. Nori

Found 1 papers, 0 papers with code

Robustness of Neural Networks: A Probabilistic and Practical Approach

no code implementations15 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.