Verifying Recurrent Neural Networks Using Invariant Inference.
Yuval JacobyClark W. BarrettGuy KatzPublished in: ATVA (2020)
Keyphrases
- recurrent neural networks
- neural network
- recurrent networks
- feed forward
- complex valued
- reservoir computing
- echo state networks
- bayesian inference
- cascade correlation
- artificial neural networks
- feedforward neural networks
- inference process
- nonlinear dynamic systems
- probabilistic inference
- hebbian learning
- neural model
- chaotic time series
- invariant features
- affine invariant
- affine transformation
- model checking
- pose estimation
- bayesian networks
- genetic algorithm