Optimization and abstraction: a synergistic approach for analyzing neural network robustness.

Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri

Browse the full PLDI paper archive.