@inproceedings{partitionbasedformulationsformixed,
  title = {Partition-based formulations for mixed-integer optimization of trained ReLU neural networks},
  author = {Calvin Tsay and Jan Kronqvist and Alexander Thebelt and Ruth Misener},
  year = {2021},
  booktitle = {NeurIPS 2021 12},
  eprint = {2102.04373},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2102.04373v2},
}