Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.
Gail WeissYoav GoldbergEran YahavPublished in: ICML (2018)
Keyphrases
- recurrent neural networks
- neural network
- reservoir computing
- recurrent networks
- feed forward
- complex valued
- query language
- neural model
- cascade correlation
- echo state networks
- long short term memory
- regular languages
- equivalence queries
- response time
- query processing
- artificial neural networks
- feedforward neural networks
- database
- cellular automata
- user queries
- finite automata
- finite state machines
- chaotic time series
- nonlinear dynamic systems
- database systems