Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples (extended Version)

Weiss et al. "Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples (extended Version)." Machine Learning, 2024. doi:10.1007/S10994-022-06163-2

[Weiss et al. "Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples (extended Version)." Machine Learning, 2024.](https://mlanthology.org/mlj/2024/weiss2024mlj-extracting/) doi:10.1007/S10994-022-06163-2

@article{weiss2024mlj-extracting,
  title     = {{Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples (extended Version)}},
  author    = {Weiss, Gail and Goldberg, Yoav and Yahav, Eran},
  journal   = {Machine Learning},
  year      = {2024},
  pages     = {2877-2919},
  doi       = {10.1007/S10994-022-06163-2},
  volume    = {113},
  url       = {https://mlanthology.org/mlj/2024/weiss2024mlj-extracting/}
}