Neuro-Symbolic Verification of Deep Neural Networks.
Xuan XieKristian KerstingDaniel NeiderPublished in: CoRR (2022)
Keyphrases
- neural network
- connectionist systems
- artificial neural networks
- connectionist models
- connectionist learning
- neural learning
- model checking
- pattern recognition
- back propagation
- genetic algorithm
- fuzzy logic
- symbolic knowledge
- neural network model
- training algorithm
- neuro fuzzy
- recurrent neural networks
- fuzzy systems
- symbolic representation
- verification method
- face verification
- rule extraction
- feedforward neural networks
- formal verification
- multi layer perceptron
- symbolic description
- data sets
- asynchronous circuits
- learning rules
- activation function
- temporal logic
- self organizing maps
- fault diagnosis
- computer vision