Property-Directed Verification of Recurrent Neural Networks.
Igor KhmelnitskyDaniel NeiderRajarshi RoyBenoît BarbotBenedikt BolligAlain FinkelSerge HaddadMartin LeuckerLina YePublished in: CoRR (2020)
Keyphrases
- recurrent neural networks
- neural network
- feed forward
- complex valued
- reservoir computing
- recurrent networks
- artificial neural networks
- echo state networks
- feedforward neural networks
- neural model
- nonlinear dynamic systems
- cascade correlation
- hidden layer
- model checking
- formal verification
- hebbian learning
- long short term memory
- verification method
- feed forward neural networks
- real time
- neural models
- evolutionary algorithm
- artificial intelligence