Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
Pengfei YangJiangchao LiuJianlin LiLiqian ChenXiaowei HuangPublished in: CoRR (2019)
Keyphrases
- neural network
- neural learning
- connectionist systems
- connectionist models
- symbolic knowledge
- pattern recognition
- high level
- fuzzy logic
- model checking
- connectionist learning
- back propagation
- multi layer
- genetic algorithm
- symbolic representation
- data sets
- fuzzy systems
- highly efficient
- machine learning
- face verification
- wave propagation
- formal verification
- signature verification
- deep learning
- competitive learning
- rule extraction
- associative memory
- artificial intelligence