@misc{indiciae989c8a1330fb,
  title = {Neural Network Verification with Branch-and-Bound for General Nonlinearities},
  author = {Zhouxing Shi and Qirui Jin and Zico Kolter and Suman Jana and Cho-Jui Hsieh and Huan Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2405.21063},
  note = {Source identifier: 2405.21063}
}