@inproceedings{NEURIPS2018_be53d253, author = {Bunel, Rudy R and Turkaslan, Ilker and Torr, Philip and Kohli, Pushmeet and Mudigonda, Pawan K}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Bengio and H. Wallach and H. Larochelle and K. Grauman and N. Cesa-Bianchi and R. Garnett}, pages = {}, publisher = {Curran Associates, Inc.}, title = {A Unified View of Piecewise Linear Neural Network Verification}, url = {https://proceedings.neurips.cc/paper_files/paper/2018/file/be53d253d6bc3258a8160556dda3e9b2-Paper.pdf}, volume = {31}, year = {2018} }