Bo Peng

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ISSTA ×1

Frequent coauthors

Weilin Luo

×2

Hai Wan

×2

Jianfeng Du

×2

Tingchen Han

×1

Junming Qiu

×1

Guohui Xiao

×1

Yanan Liu

×1

Pingjia Liang

×1

Rongzhen Ye

×1

Papers

NADA: Neural Acceptance-Driven Approximate Specification Mining
ISSTA 2025 ·
Weilin Luo
,
Tingchen Han
,
Junming Qiu
,
Hai Wan
,
Jianfeng Du
, Bo Peng,
Guohui Xiao
,
Yanan Liu
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