Property Checking with Interpretable Error Characterization for Recurrent Neural Networks.
Franz MayrSergio YovineRamiro ViscaPublished in: Mach. Learn. Knowl. Extr. (2021)
Keyphrases
- recurrent neural networks
- neural network
- feed forward
- echo state networks
- complex valued
- error rate
- recurrent networks
- feedforward neural networks
- neural model
- reservoir computing
- hidden layer
- long short term memory
- artificial neural networks
- error analysis
- nonlinear dynamic systems
- real valued
- error bounds
- feed forward neural networks
- cascade correlation
- semi supervised
- data mining