Liang, Pingjia

3 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 Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang