PPaperPicks

Yue Fang

3 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ACL ×1EMNLP ×1

Papers

  1. RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
    AAAI 2026 · Yue Fang
  2. Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
    ACL 2025 · Yue Fang
  3. NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning
    EMNLP 2025 · Yue Fang