%0 Conference Paper %1 conf/iclr/LuK20 %A Lu, Jingyue %A Kumar, M. Pawan %B ICLR %D 2020 %I OpenReview.net %K dblp %T Neural Network Branching for Neural Network Verification. %U http://dblp.uni-trier.de/db/conf/iclr/iclr2020.html#LuK20

@inproceedings{conf/iclr/LuK20, added-at = {2020-05-07T00:00:00.000+0200}, author = {Lu, Jingyue and Kumar, M. Pawan}, biburl = {https://www.bibsonomy.org/bibtex/282f4b5bc1cd160f63f5d7ab0795371fe/dblp}, booktitle = {ICLR}, crossref = {conf/iclr/2020}, ee = {https://openreview.net/forum?id=B1evfa4tPB}, interhash = {d3dd511d7aee2d1011735a7a91d06bb7}, intrahash = {82f4b5bc1cd160f63f5d7ab0795371fe}, keywords = {dblp}, publisher = {OpenReview.net}, timestamp = {2020-05-08T11:42:22.000+0200}, title = {Neural Network Branching for Neural Network Verification.}, url = {http://dblp.uni-trier.de/db/conf/iclr/iclr2020.html#LuK20}, year = 2020 }