@misc{indiciae7b920a41e4a0,
  title = {Strong mixed-integer programming formulations for trained neural networks},
  author = {Ross Anderson and Joey Huchette and Christian Tjandraatmadja and Juan Pablo Vielma},
  year = {2019},
  url = {https://arxiv.org/abs/1811.08359},
  note = {Source identifier: 1811.08359}
}