Zhang, X.; Du, X.; Xie, X.; Ma, L.; Liu, Y.; Sun, M. Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. AAAI 2021, 35, 11699-11707.