TY  - RPRT
TI  - Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
AU  - Gail Weiss
AU  - Yoav Goldberg
AU  - Eran Yahav
PY  - 2020
UR  - https://arxiv.org/abs/1711.09576
ID  - 1711.09576
ER  -