Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
Jiaxiang LiuYunhan XingXiaomu ShiFu SongZhiwu XuZhong MingPublished in: CoRR (2022)
Keyphrases
- neural network
- hardware designs
- model checking
- bounded model checking
- pattern recognition
- artificial neural networks
- high level
- fuzzy logic
- feedforward neural networks
- network architecture
- back propagation
- lightweight
- web scale
- neural network model
- neural nets
- fuzzy systems
- rule extraction
- data abstraction
- signature verification
- verification method
- highly scalable
- recurrent neural networks
- face verification
- brute force
- feed forward
- radial basis function
- expert systems
- artificial intelligence
- genetic algorithm