Rongzhen Ye

According to our database, Rongzhen Ye authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding.

Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.

Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Teaching LTLf Satisfiability Checking to Neural Networks.

Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Improving Local Search Algorithms via Probabilistic Configuration Checking.

Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A DQN-based Approach to Finding Precise Evidences for Fact Verification.

Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021