PPaperPicks

Jie An

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ACL ×1

Frequent coauthors

Yue Fang
DBLP profile ↗ORCID search ↗
×2
Shenghua Feng
DBLP profile ↗ORCID search ↗
×1

Papers

  1. RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
    AAAI 2026 ·
    Yue Fang
    DBLP profile ↗ORCID search ↗
  2. Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
    AAAI 2026 ·
    Shenghua Feng
    DBLP profile ↗ORCID search ↗
  3. Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
    ACL 2025 ·
    Yue Fang
    DBLP profile ↗ORCID search ↗