Zhang, X. (2021) “Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(13), pp. 11699–11707. doi: 10.1609/aaai.v35i13.17391.