%0 Conference Paper %1 conf/uai/BunelPDDKTK20 %A Bunel, Rudy %A Palma, Alessandro De %A Desmaison, Alban %A Dvijotham, Krishnamurthy %A Kohli, Pushmeet %A Torr, Philip H. S. %A Kumar, M. Pawan %B UAI %D 2020 %E Adams, Ryan P. %E Gogate, Vibhav %I AUAI Press %K dblp %P 370-379 %T Lagrangian Decomposition for Neural Network Verification. %U http://dblp.uni-trier.de/db/conf/uai/uai2020.html#BunelPDDKTK20 %V 124

@inproceedings{conf/uai/BunelPDDKTK20, added-at = {2020-12-16T00:00:00.000+0100}, author = {Bunel, Rudy and Palma, Alessandro De and Desmaison, Alban and Dvijotham, Krishnamurthy and Kohli, Pushmeet and Torr, Philip H. S. and Kumar, M. Pawan}, biburl = {https://www.bibsonomy.org/bibtex/293565e93c448d5876e32183a2316c446/dblp}, booktitle = {UAI}, crossref = {conf/uai/2020}, editor = {Adams, Ryan P. and Gogate, Vibhav}, ee = {http://www.auai.org/uai2020/proceedings/159_main_paper.pdf}, interhash = {e97d27779b70e615333ec1b1356a0f49}, intrahash = {93565e93c448d5876e32183a2316c446}, keywords = {dblp}, pages = {370-379}, publisher = {AUAI Press}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-05-13T08:02:23.000+0200}, title = {Lagrangian Decomposition for Neural Network Verification.}, url = {http://dblp.uni-trier.de/db/conf/uai/uai2020.html#BunelPDDKTK20}, volume = 124, year = 2020 }