P
PaperPicks
Conferences
Researchers
Sponsors ♥
Rongzhen Ye
2 papers at tracked venues · 1 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×1
CIKM
×1
Frequent coauthors
Weilin Luo
×2
Hai Wan
×2
Junming Qiu
×1
Kunxun Qi
×1
Yue Yu
×1
Pingjia Liang
×1
Jianfeng Du
×1
Bo Peng
×1
Papers
OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams
BibTeX ⧉
CIKM 2025
·
Junming Qiu
,
Rongzhen Ye
,
Weilin Luo
,
Kunxun Qi
,
Hai Wan
,
Yue Yu
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding
BibTeX ⧉
AAAI 2024
·
Hai Wan
,
Pingjia Liang
,
Jianfeng Du
,
Weilin Luo
,
Rongzhen Ye
,
Bo Peng