Zhang, Xiyue, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, and Meng Sun. 2021. “Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (13):11699-707. https://doi.org/10.1609/aaai.v35i13.17391.