%0 Conference Paper %1 conf/uai/DvijothamSGGQDK19 %A Dvijotham, Krishnamurthy (Dj) %A Stanforth, Robert %A Gowal, Sven %A Qin, Chongli %A De, Soham %A Kohli, Pushmeet %B UAI %D 2019 %E Globerson, Amir %E Silva, Ricardo %I AUAI Press %K dblp %P 497-507 %T Efficient Neural Network Verification with Exactness Characterization. %U http://dblp.uni-trier.de/db/conf/uai/uai2019.html#DvijothamSGGQDK19 %V 115

@inproceedings{conf/uai/DvijothamSGGQDK19, added-at = {2020-12-15T00:00:00.000+0100}, author = {Dvijotham, Krishnamurthy (Dj) and Stanforth, Robert and Gowal, Sven and Qin, Chongli and De, Soham and Kohli, Pushmeet}, biburl = {https://www.bibsonomy.org/bibtex/24135f01ec58fe357c2be9301719728bc/dblp}, booktitle = {UAI}, crossref = {conf/uai/2019}, editor = {Globerson, Amir and Silva, Ricardo}, ee = {http://auai.org/uai2019/proceedings/papers/164.pdf}, interhash = {4f4149b8983833ed31bfb3e616292900}, intrahash = {4135f01ec58fe357c2be9301719728bc}, keywords = {dblp}, pages = {497-507}, publisher = {AUAI Press}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-04-09T13:31:22.000+0200}, title = {Efficient Neural Network Verification with Exactness Characterization.}, url = {http://dblp.uni-trier.de/db/conf/uai/uai2019.html#DvijothamSGGQDK19}, volume = 115, year = 2019 }