@misc{indiciae6fcb84c553b3,
  title = {Provably Bounding Neural Network Preimages},
  author = {Suhas Kotha and Christopher Brix and Zico Kolter and Krishnamurthy Dvijotham and Huan Zhang},
  year = {2024},
  url = {https://arxiv.org/abs/2302.01404},
  note = {Source identifier: 2302.01404}
}