Scalable Verification of Quantized Neural Networks.
Thomas A. HenzingerMathias LechnerDorde ZikelicPublished in: AAAI (2021)
Keyphrases
- neural network
- model checking
- pattern recognition
- artificial neural networks
- fuzzy logic
- back propagation
- radial basis function
- fuzzy systems
- multilayer perceptron
- memory efficient
- web scale
- feedforward neural networks
- recurrent neural networks
- neural network model
- training algorithm
- network architecture
- face verification
- dct coefficients
- evolutionary algorithm
- highly scalable
- competitive learning
- expert systems
- genetic algorithm