Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.
Mathias LechnerDorde ZikelicKrishnendu ChatterjeeThomas A. HenzingerDaniela RusPublished in: AAAI (2023)
Keyphrases
- neural network
- training process
- training algorithm
- global exponential stability
- feedforward neural networks
- artificial neural networks
- back propagation
- feed forward neural networks
- multi layer perceptron
- recurrent neural networks
- backpropagation algorithm
- computationally efficient
- upper bound
- pattern recognition
- training set
- recurrent networks
- genetic algorithm
- training examples
- error bounds
- worst case
- hidden layer
- supervised learning
- fuzzy logic