Scalable Polyhedral Verification of Recurrent Neural Networks.
Wonryong RyouJiayu ChenMislav BalunovicGagandeep SinghAndrei Marian DanMartin T. VechevPublished in: CAV (1) (2021)
Keyphrases
- recurrent neural networks
- neural network
- feed forward
- complex valued
- recurrent networks
- reservoir computing
- model checking
- feedforward neural networks
- hidden layer
- echo state networks
- formal verification
- neural model
- artificial neural networks
- hebbian learning
- cascade correlation
- nonlinear dynamic systems
- long short term memory
- verification method
- line drawings
- artificial intelligence
- signature verification
- real time
- convex sets
- long term
- genetic algorithm
- model selection