PPaperPicks

Xiao-hong Chen

2 papers at tracked venues · 2 at CORE A* · active 20252026

Venues

Frequent coauthors

Papers

  1. RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
  2. Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge