Litcius/Paper detail

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

2021Neural Information Processing Systems94 citations

Topics & Concepts

Robustness (evolution)Computer scienceArtificial neural networkBETA (programming language)Artificial intelligenceGeneBiochemistryProgramming languageChemistryNeural Networks and Applications
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification | Litcius