Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.
Pengfei YangJianlin LiJiangchao LiuCheng-Chao HuangRenjue LiLiqian ChenXiaowei HuangLijun ZhangPublished in: Formal Aspects Comput. (2021)
Keyphrases
- neural network
- connectionist systems
- connectionist models
- neural learning
- symbolic knowledge
- pattern recognition
- multi layer
- neural nets
- neural network model
- recurrent neural networks
- machine learning
- fuzzy logic
- model checking
- genetic algorithm
- connectionist learning
- formal methods
- fault diagnosis
- image processing
- fuzzy systems
- decision making
- competitive learning
- deep learning
- hopfield neural network
- asynchronous circuits
- data mining
- computer vision
- social networks
- artificial intelligence
- data sets