Login / Signup
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
Published in:
NeurIPS (2021)
Keyphrases
</>
neural network
artificial neural networks
neuron model
fuzzy logic
worst case
fault diagnosis
multi layer
pattern recognition
lower bound
upper bound
error bounds
activation function
linear constraints
formal verification