Improving Neural Network Verification through Spurious Region Guided Refinement.
Pengfei YangRenjue LiJianlin LiCheng-Chao HuangJingyi WangJun SunBai XueLijun ZhangPublished in: TACAS (1) (2021)
Keyphrases
- neural network
- artificial neural networks
- neural network model
- pattern recognition
- back propagation
- verification method
- multi layer
- feed forward neural networks
- face verification
- bp neural network
- formal verification
- fuzzy logic
- knn
- region segmentation
- fuzzy artmap
- data sets
- hybrid neural network
- multilayer perceptron
- feed forward
- genetic algorithm
- information retrieval
- machine learning