@article{generalcuttingplanesforboundpropagation,
  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},
  eprint = {2208.05740},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2208.05740v2},
}