@misc{indiciaef67af57b8f2b,
  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},
  url = {https://arxiv.org/abs/2102.04373},
  note = {Source identifier: 2102.04373}
}