DiffRNN: Differential Verification of Recurrent Neural Networks.
Sara MohammadinejadBrandon PaulsenChao WangJyotirmoy V. DeshmukhPublished in: CoRR (2020)
Keyphrases
- recurrent neural networks
- neural network
- feed forward
- reservoir computing
- recurrent networks
- complex valued
- echo state networks
- model checking
- face verification
- long short term memory
- nonlinear dynamic systems
- neural model
- artificial neural networks
- feedforward neural networks
- cascade correlation
- formal verification
- hidden layer
- real time
- hebbian learning
- artificial intelligence
- verification method
- reinforcement learning