@inproceedings{betacrownefficientboundpropagationwith1,
  title = {Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification},
  author = {Shiqi Wang and huan zhang and Kaidi Xu and Xue Lin and Suman Jana and Cho-Jui Hsieh and J Zico Kolter},
  year = {2021},
  booktitle = {NeurIPS 2021 12},
  url = {https://openreview.net/forum?id=Mm3gxxTfT7A},
}