QEBVerif: Quantization Error Bound Verification of Neural Networks.
Yedi ZhangFu SongJun SunPublished in: CoRR (2022)
Keyphrases
- error bounds
- neural network
- theoretical analysis
- worst case
- pattern recognition
- model checking
- neural nets
- genetic algorithm
- multilayer perceptron
- finite sample
- quantization error
- back propagation
- artificial neural networks
- fuzzy logic
- radial basis function
- theoretical framework
- feed forward
- recurrent neural networks
- computational complexity