@misc{indiciaeccd9c592372a,
  title = {Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming},
  author = {Sumanth Dathathri and Krishnamurthy Dvijotham and Alexey Kurakin and Aditi Raghunathan and Jonathan Uesato and Rudy Bunel and Shreya Shankar and Jacob Steinhardt and Ian Goodfellow and Percy Liang and Pushmeet Kohli},
  year = {2020},
  url = {https://arxiv.org/abs/2010.11645},
  note = {Source identifier: 2010.11645}
}