Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification.
Shiqi WangHuan ZhangKaidi XuXue LinSuman JanaCho-Jui HsiehJ. Zico KolterPublished in: CoRR (2021)
Keyphrases
- neural network
- computationally expensive
- lower bound
- pattern recognition
- upper bound
- model checking
- data sets
- back propagation
- neural model
- computationally efficient
- genetic algorithm
- worst case
- constraint satisfaction
- artificial neural networks
- neural network model
- fuzzy neural network
- activation function
- single neuron
- neuron model