@inproceedings{NEURIPS2021_17f98ddf, author = {Tsay, Calvin and Kronqvist, Jan and Thebelt, Alexander and Misener, Ruth}, booktitle = {Advances in Neural Information Processing Systems}, editor = {M. Ranzato and A. Beygelzimer and Y. Dauphin and P.S. Liang and J. Wortman Vaughan}, pages = {3068--3080}, publisher = {Curran Associates, Inc.}, title = {Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks}, url = {https://proceedings.neurips.cc/paper_files/paper/2021/file/17f98ddf040204eda0af36a108cbdea4-Paper.pdf}, volume = {34}, year = {2021} }