Yue Fang

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ACL ×1 EMNLP ×1

Frequent coauthors

Zhi Jin

×3

Jie An

×2

Hongshen Chen

×2

Xiao-hong Chen

×2

Naijun Zhan

×2

Shaohan Huang

×1

Xin Yu

×1

Haizhen Huang

×1

Zihan Zhang

×1

Weiwei Deng

×1

Furu Wei

×1

Feng Sun

×1

Papers

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
AAAI 2026 · Yue Fang,
Zhi Jin
,
Jie An
,
Hongshen Chen
,
Xiao-hong Chen
,
Naijun Zhan
Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
ACL 2025 · Yue Fang,
Zhi Jin
,
Jie An
,
Hongshen Chen
,
Xiao-hong Chen
,
Naijun Zhan
NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning
EMNLP 2025 · Yue Fang,
Shaohan Huang
,
Xin Yu
,
Haizhen Huang
,
Zihan Zhang
,
Weiwei Deng
,
Furu Wei
,
Feng Sun
,
Qi Zhang
,
Zhi Jin