Neuro-Symbolic Verification of Deep Neural Networks.
Xuan XieKristian KerstingDaniel NeiderPublished in: IJCAI (2022)
Keyphrases
- neural network
- artificial neural networks
- connectionist systems
- connectionist models
- neural learning
- connectionist learning
- symbolic knowledge
- pattern recognition
- genetic algorithm
- back propagation
- model checking
- high level
- verification method
- multi layer
- deep learning
- formal methods
- face verification
- symbolic representation
- recurrent neural networks
- neural network model
- fault diagnosis
- database
- network architecture
- multi layer perceptron
- neuro fuzzy
- activation function
- feed forward
- formal analysis
- formal verification
- fuzzy logic
- information systems
- real time
- data mining
- machine learning
- hidden layer
- training process