On applying residual reasoning within neural network verification.
Yizhak Yisrael ElboherElazar CohenGuy KatzPublished in: Softw. Syst. Model. (2024)
Keyphrases
- recurrent neural networks
- neural network
- feed forward
- feedforward neural networks
- artificial neural networks
- hidden layer
- back propagation
- knowledge base
- feed forward neural networks
- automated reasoning
- model checking
- pattern recognition
- knowledge representation
- genetic algorithm
- formal verification
- analogical reasoning
- model based reasoning
- neural network model
- data sets
- spatial reasoning
- reasoning tasks
- reasoning process
- legal reasoning
- neural network is trained