Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness

Greg Anderson, Shankara Pailoor, Isil Dillig +1

In recent years, the notion of local robustness (or robustness for short) has emerged as a desirable property of deep neural networks. Intuitively, robustness means that small pert…