Concepedia

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification

Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho‐Jui Hsieh, J. Zico Kolter

Neural Information Processing Systems · 2021 · 94 citations · 0 references

Concepts