Recent Developments in Content Delivery Network: A Survey. - Jiaming Zhao; Pingjia Liang; Weiming Liufu; Zhengping Fan (PAAP, 2019)

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

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. - Weilin Luo; Pingjia Liang; Junming Qiu; Polong Chen; Hai Wan; Jianfeng Du; Weiyuan Fang (ISSTA, 2024)