@misc{indiciae5673a01af22c,
  title = {A Dual Approach to Scalable Verification of Deep Networks},
  author = {Krishnamurthy and Dvijotham and Robert Stanforth and Sven Gowal and Timothy Mann and Pushmeet Kohli},
  year = {2018},
  url = {https://arxiv.org/abs/1803.06567},
  note = {Source identifier: 1803.06567}
}