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