Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.
Mathias LechnerDorde ZikelicKrishnendu ChatterjeeThomas A. HenzingerDaniela RusPublished in: CoRR (2022)
Keyphrases
- neural network
- training process
- training algorithm
- global exponential stability
- pattern recognition
- fuzzy logic
- feedforward neural networks
- back propagation
- artificial neural networks
- lower bound
- backpropagation algorithm
- multi layer perceptron
- upper bound
- worst case
- recurrent networks
- multilayer perceptron
- feed forward neural networks
- cellular neural networks
- error back propagation
- neural network model
- error bounds
- sufficient conditions
- multiresolution
- computational complexity