Improving Neural Network Verification through Spurious Region Guided Refinement.
Pengfei YangRenjue LiJianlin LiCheng-Chao HuangJingyi WangJun SunBai XueLijun ZhangPublished in: CoRR (2020)
Keyphrases
- neural network
- model checking
- artificial neural networks
- neural nets
- pattern recognition
- network architecture
- neural network is trained
- image regions
- neural network model
- learning vector quantization
- hybrid neural network
- input image
- self organizing maps
- genetic algorithm
- real time
- multi layer
- fuzzy neural network
- face verification
- feed forward neural networks
- auto associative