@misc{indiciae8798e2d38720,
  title = {Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness},
  author = {Greg Anderson and Shankara Pailoor and Isil Dillig and Swarat Chaudhuri},
  year = {2019},
  doi = {10.1145/3314221.3314614},
  url = {https://arxiv.org/abs/1904.09959},
  note = {Source identifier: 1904.09959}
}