X. Zhang, X. Du, X. Xie, L. Ma, Y. Liu, and M. Sun, “Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks”, AAAI, vol. 35, no. 13, pp. 11699–11707, May 2021.