QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.
Yedi ZhangZhe ZhaoFu SongMin ZhangTaolue ChenJun SunPublished in: CoRR (2022)
Keyphrases
- formal verification
- neural network
- model checking
- inductive logic programming
- model checker
- automated verification
- symbolic model checking
- pattern recognition
- artificial neural networks
- program slicing
- bounded model checking
- fuzzy logic
- neural network model
- multilayer perceptron
- fault diagnosis
- genetic algorithm
- temporal logic
- recurrent neural networks
- multi layer
- self organizing maps
- orders of magnitude
- back propagation