Ye, Rongzhen

4 publications

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

AAAI 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

AAAI 2022 Improving Local Search Algorithms via Probabilistic Configuration Checking Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang

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