Rongzhen Ye

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Effective Learning

Pattern Matching

Linear Time Temporal Logic

Top Venues

Publications

Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. NIER@ICSE (2024)
Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. AAAI (2024)
Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. ASE (2023)
Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. AAAI (2023)
Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng
PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ASE (2023)
Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang
Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI (2022)
Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. CoRR (2022)
Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang
Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI (2022)
Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye
A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) (2021)