%0 Conference Paper %1 conf/nips/DathathriDKRUBS20 %A Dathathri, Sumanth %A Dvijotham, Krishnamurthy %A Kurakin, Alexey %A Raghunathan, Aditi %A Uesato, Jonathan %A Bunel, Rudy %A Shankar, Shreya %A Steinhardt, Jacob %A Goodfellow, Ian J. %A Liang, Percy %A Kohli, Pushmeet %B NeurIPS %D 2020 %E Larochelle, Hugo %E Ranzato, Marc'Aurelio %E Hadsell, Raia %E Balcan, Maria-Florina %E Lin, Hsuan-Tien %K dblp %T Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming. %U http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#DathathriDKRUBS20

@inproceedings{conf/nips/DathathriDKRUBS20, added-at = {2021-01-19T00:00:00.000+0100}, author = {Dathathri, Sumanth and Dvijotham, Krishnamurthy and Kurakin, Alexey and Raghunathan, Aditi and Uesato, Jonathan and Bunel, Rudy and Shankar, Shreya and Steinhardt, Jacob and Goodfellow, Ian J. and Liang, Percy and Kohli, Pushmeet}, biburl = {https://www.bibsonomy.org/bibtex/2568ce4cba64e425e01d27d62c1e733d9/dblp}, booktitle = {NeurIPS}, crossref = {conf/nips/2020}, editor = {Larochelle, Hugo and Ranzato, Marc'Aurelio and Hadsell, Raia and Balcan, Maria-Florina and Lin, Hsuan-Tien}, ee = {https://proceedings.neurips.cc/paper/2020/hash/397d6b4c83c91021fe928a8c4220386b-Abstract.html}, interhash = {b5b56caa58ca52205752ef13123f6dea}, intrahash = {568ce4cba64e425e01d27d62c1e733d9}, keywords = {dblp}, timestamp = {2024-04-09T23:16:36.000+0200}, title = {Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming.}, url = {http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#DathathriDKRUBS20}, year = 2020 }