Scalable Verification of Quantized Neural Networks (Technical Report).
Thomas A. HenzingerMathias LechnerDorde ZikelicPublished in: CoRR (2020)
Keyphrases
- technical report
- neural network
- pattern recognition
- model checking
- genetic algorithm
- formal verification
- web scale
- back propagation
- multilayer perceptron
- face verification
- neural network model
- feed forward
- self organizing maps
- recurrent neural networks
- multi layer
- feature extraction
- verification method
- fuzzy logic
- fault diagnosis
- lightweight
- competitive learning
- neural network is trained
- formal methods
- hidden layer
- training process
- fuzzy systems
- real time