Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
Jiaxiang LiuYunhan XingXiaomu ShiFu SongZhiwu XuZhong MingPublished in: ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- data abstraction
- face verification
- model checking
- feed forward
- formal verification
- neural network model
- back propagation
- high level
- genetic algorithm
- self organizing maps
- lightweight
- multi layer
- exact solution
- verification method
- refinement process
- signature verification
- hardware designs
- recurrent neural networks
- neural network is trained
- web scale
- highly scalable
- rule extraction
- multilayer perceptron
- machine learning