Pingjia Liang

According to our database, Pingjia Liang authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

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

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 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

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae.

Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang

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

2019

Recent Developments in Content Delivery Network: A Survey.

Jiaming Zhao, Pingjia Liang, Weiming Liufu, Zhengping Fan

Proceedings of the Parallel Architectures, Algorithms and Programming, 2019