Pingjia Liang

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Recent Developments

Inference Mechanism

Graph Representation

Efficient Learning

Top Venues

Publications

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)
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, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI (2022)
Jiaming Zhao, Pingjia Liang, Weiming Liufu, Zhengping Fan
Recent Developments in Content Delivery Network: A Survey. PAAP (2019)