QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.
Yedi ZhangZhe ZhaoGuangke ChenFu SongMin ZhangTaolue ChenJun SunPublished in: ASE (2022)
Keyphrases
- formal verification
- neural network
- model checking
- model checker
- bounded model checking
- symbolic model checking
- inductive logic programming
- automated verification
- pattern recognition
- multilayer perceptron
- program slicing
- self organizing maps
- neural network model
- relational learning
- feed forward
- background knowledge
- fuzzy logic
- back propagation
- multi layer
- artificial neural networks
- functional verification
- description language
- neural nets
- recurrent neural networks
- fault diagnosis
- genetic algorithm
- machine learning