Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
Jianlin LiJiangchao LiuPengfei YangLiqian ChenXiaowei HuangLijun ZhangPublished in: SAS (2019)
Keyphrases
- neural network
- connectionist systems
- neural learning
- connectionist models
- pattern recognition
- symbolic knowledge
- artificial neural networks
- fuzzy logic
- neural nets
- model checking
- back propagation
- genetic algorithm
- neural network model
- high level
- connectionist learning
- information systems
- fuzzy systems
- rule extraction
- radial basis function
- wave propagation
- data sets
- formal methods
- feed forward
- fault diagnosis
- anomaly detection
- data structure
- decision making
- learning algorithm