Neural Network Verification using Residual Reasoning.
Yizhak Yisrael ElboherElazar CohenGuy KatzPublished in: CoRR (2022)
Keyphrases
- neural network
- back propagation
- neural network model
- fault diagnosis
- reasoning process
- model checking
- knowledge base
- artificial neural networks
- recurrent neural networks
- pattern recognition
- genetic algorithm
- fuzzy neural network
- reasoning mechanisms
- feedforward neural networks
- formal methods
- analogical reasoning
- meta level
- model based reasoning
- network model
- neural nets
- prediction model
- feed forward
- data sets
- knowledge representation
- rule based reasoning
- verification method
- deductive reasoning
- face verification
- multi layer perceptron
- hidden layer
- bp neural network
- expert systems
- artificial intelligence