%0 Conference Paper %1 conf/nips/TjandraatmadjaA20 %A Tjandraatmadja, Christian %A Anderson, Ross %A Huchette, Joey %A Ma, Will %A Patel, Krunal %A Vielma, Juan Pablo %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 The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification. %U http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#TjandraatmadjaA20

@inproceedings{conf/nips/TjandraatmadjaA20, added-at = {2021-01-19T00:00:00.000+0100}, author = {Tjandraatmadja, Christian and Anderson, Ross and Huchette, Joey and Ma, Will and Patel, Krunal and Vielma, Juan Pablo}, biburl = {https://www.bibsonomy.org/bibtex/2040d09b59f598753b37fea5047bf85ee/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/f6c2a0c4b566bc99d596e58638e342b0-Abstract.html}, interhash = {93c8a972ae45dbf6206c3f87f91b325b}, intrahash = {040d09b59f598753b37fea5047bf85ee}, keywords = {dblp}, timestamp = {2024-04-09T23:16:36.000+0200}, title = {The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification.}, url = {http://dblp.uni-trier.de/db/conf/nips/neurips2020.html#TjandraatmadjaA20}, year = 2020 }