TY  - RPRT
TI  - Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification
AU  - Shiqi Wang
AU  - Huan Zhang
AU  - Kaidi Xu
AU  - Xue Lin
AU  - Suman Jana
AU  - Cho-Jui Hsieh
AU  - J. Zico Kolter
PY  - 2021
UR  - https://arxiv.org/abs/2103.06624
ID  - 2103.06624
ER  -