Extracting automata from recurrent neural networks using queries and counterexamples (extended version)

Gail Weiss, Yoav Goldberg, Eran Yahav. Extracting automata from recurrent neural networks using queries and counterexamples (extended version). Machine Learning, 113(5):2877-2919, May 2024. [doi]

Abstract

Abstract is missing.