@misc{indiciae4db3d9ce5193,
  title = {Branch and Bound for Piecewise Linear Neural Network Verification},
  author = {Rudy Bunel and Jingyue Lu and Ilker Turkaslan and Philip H. S. Torr and Pushmeet Kohli and M. Pawan Kumar},
  year = {2025},
  url = {https://arxiv.org/abs/1909.06588},
  note = {Source identifier: 1909.06588}
}