| 2025 | CIKM | OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams. | Junming Qiu, Rongzhen Ye, Weilin Luo, Kunxun Qi, Hai Wan, Yue Yu |
| 2024 | AAAI | End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. | Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng |
| 2024 | ICSE | ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. | Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye |
| 2023 | AAAI | A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. | Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang |
| 2022 | AAAI | Improving Local Search Algorithms via Probabilistic Configuration Checking. | Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang |
| 2022 | IJCAI | Teaching LTLf Satisfiability Checking to Neural Networks. | Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang |
| 2021 | ACL | A DQN-based Approach to Finding Precise Evidences for Fact Verification. | Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye |