PPaperPicks

Rongzhen Ye

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1CIKM ×1

Frequent coauthors

Junming Qiu
DBLP profile ↗ORCID search ↗
×1
Hai Wan
DBLP profile ↗ORCID search ↗
×1

Papers

  1. OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams
    CIKM 2025 ·
    Junming Qiu
    DBLP profile ↗ORCID search ↗
  2. End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding
    AAAI 2024 ·
    Hai Wan
    DBLP profile ↗ORCID search ↗