Zhang X, Du X, Xie X, Ma L, Liu Y, Sun M. Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. AAAI [Internet]. 2021 May 18 [cited 2026 May 25];35(13):11699-707. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/17391