A DQN-based Approach to Finding Precise Evidences for Fact Verification. - Hai Wan; Haicheng Chen; Jianfeng Du; Weilin Luo; Rongzhen Ye (ACL/IJCNLP (1), 2021)

Improving Local Search Algorithms via Probabilistic Configuration Checking. - Weilin Luo; Rongzhen Ye; Hai Wan; Shaowei Cai 001; Biqing Fang; Delong Zhang (AAAI, 2022)

Teaching LTLf Satisfiability Checking to Neural Networks. - Weilin Luo; Hai Wan; Jianfeng Du; Xiaoda Li; Yuze Fu; Rongzhen Ye; Delong Zhang (IJCAI, 2022)

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 (AAAI, 2023)

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. - Weilin Luo; Yuhang Zheng; Rongzhen Ye; Hai Wan; Jianfeng Du; Pingjia Liang; Polong Chen (ASE, 2023)

PURLTL: Mining LTL Specification from Imperfect Traces in Testing. - Bo Peng; Pingjia Liang; Tingchen Han; Weilin Luo; Jianfeng Du; Hai Wan; Rongzhen Ye; Yuhang Zheng (ASE, 2023)

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. - Hai Wan; Pingjia Liang; Jianfeng Du; Weilin Luo; Rongzhen Ye; Bo Peng (AAAI, 2024)

ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. - Weilin Luo; Weiyuan Fang; Junming Qiu; Hai Wan; Yanan Liu; Rongzhen Ye (NIER@ICSE, 2024)