@article{
slimi2026automata,
title={Automata Learning from Recurrent Networks: A Critical Synthesis for Verification, Testing, and Interpretability},
author={Jaouhar Slimi and Augustin Lemesle and Tristan Le Gall and Zakaria Chihani},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2026},
url={https://openreview.net/forum?id=R52ETbUBVo},
note={Survey Certification}
}