@misc{indiciae6703cd0f8c9d,
  title = {General Cutting Planes for Bound-Propagation-Based Neural Network Verification},
  author = {Huan Zhang and Shiqi Wang and Kaidi Xu and Linyi Li and Bo Li and Suman Jana and Cho-Jui Hsieh and J. Zico Kolter},
  year = {2022},
  url = {https://arxiv.org/abs/2208.05740},
  note = {Source identifier: 2208.05740}
}