no code implementations • 2 Nov 2023 • Kamel Alrashedy, Vincent J. Hellendoorn, Alessandro Orso
To investigate this conjecture, we propose an approach for identifying the subsets of these large yet unrealistic datasets that are most similar to examples in real-world datasets based on their learned representations.
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.