Zeming Wei, Xiyue Zhang, Meng Sun 0002. Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. In Adrián Riesco 0001, Min Zhang 0002, editors, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Volume 13478 of Lecture Notes in Computer Science, pages 370-385, Springer, 2022. [doi]
Abstract is missing.