@inproceedings{NEURIPS2020_397d6b4c, author = {Dathathri, Sumanth and Dvijotham, Krishnamurthy and Kurakin, Alexey and Raghunathan, Aditi and Uesato, Jonathan and Bunel, Rudy R and Shankar, Shreya and Steinhardt, Jacob and Goodfellow, Ian and Liang, Percy S and Kohli, Pushmeet}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin}, pages = {5318--5331}, publisher = {Curran Associates, Inc.}, title = {Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming}, url = {https://proceedings.neurips.cc/paper_files/paper/2020/file/397d6b4c83c91021fe928a8c4220386b-Paper.pdf}, volume = {33}, year = {2020} }