Extracting automata from recurrent neural networks using queries and counterexamples (extended version).
Gail WeissYoav GoldbergEran YahavPublished in: Mach. Learn. (2024)
Keyphrases
- recurrent neural networks
- neural network
- query processing
- reservoir computing
- recurrent networks
- complex valued
- feed forward
- equivalence queries
- query language
- response time
- web search engines
- cascade correlation
- echo state networks
- artificial neural networks
- query evaluation
- neural model
- database
- user queries
- membership queries
- feedforward neural networks
- cellular automata
- long short term memory
- regular languages
- web search
- control system
- range queries
- chaotic time series
- nonlinear dynamic systems
- genetic algorithm