ICFEM 2022😋

在国际形式化方法工程会议（ICFEM）中展示了我们的文章“Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages”