@misc{indiciae3d118f3ab2f0,
  title = {Certified Invertibility in Neural Networks via Mixed-Integer Programming},
  author = {Tianqi Cui and Thomas Bertalan and George J. Pappas and Manfred Morari and Ioannis G. Kevrekidis and Mahyar Fazlyab},
  year = {2023},
  url = {https://arxiv.org/abs/2301.11783},
  note = {Source identifier: 2301.11783}
}