Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.
Achim D. BruckerAmy StellPublished in: FM (2023)
Keyphrases
- feed forward
- theorem prover
- natural deduction
- back propagation
- inference rules
- artificial neural networks
- neural network
- neural nets
- theorem proving
- higher order logic
- recurrent neural networks
- first order logic
- hidden layer
- neural architecture
- visual cortex
- artificial neural
- biologically plausible
- activation function
- feed forward neural networks
- error back propagation
- model checking
- adaptive neural
- primate visual cortex
- recurrent networks
- neuron model
- formal methods
- space time
- machine learning