Pingjia Liang

2 papers at tracked venues · 1 at CORE A* · active 2024–2024

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ISSTA ×1

Frequent coauthors

Hai Wan

×2

Jianfeng Du

×2

Weilin Luo

×2

Rongzhen Ye

×1

Bo Peng

×1

Junming Qiu

×1

Polong Chen

×1

Weiyuan Fang

×1

Papers

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding
AAAI 2024 ·
Hai Wan
, Pingjia Liang,
Jianfeng Du
,
Weilin Luo
,
Rongzhen Ye
,
Bo Peng
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
ISSTA 2024 ·
Weilin Luo
, Pingjia Liang,
Junming Qiu
,
Polong Chen
,
Hai Wan
,
Jianfeng Du
,
Weiyuan Fang