Search Results for author: Shankara Pailoor

Found 1 papers, 0 papers with code

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

no code implementations22 Apr 2019 Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri

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

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