From spoken dialogue to formal summary: An utterance rewriting for dialogue summarization. - Yue Fang 001; Hainan Zhang 001; Hongshen Chen; Zhuoye Ding; Bo Long; Yanyan Lan; Yanquan Zhou (NAACL-HLT, 2022)

A Comprehensive Evaluation on Event Reasoning of Large Language Models. - Zhengwei Tao; Zhi Jin 001; Yifan Zhang 004; Xiancai Chen; Xiaoying Bai; Yue Fang 001; Haiyan Zhao 001; Jia Li 003; Chongyang Tao (CoRR, 2024)

Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge. - Yue Fang 001; Zhi Jin 001; Jie An 001; Hongshen Chen; Xiao-hong Chen 001; Naijun Zhan (ACL (Findings), 2025)

NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning. - Yue Fang 001; Shaohan Huang; Xin Yu; Haizhen Huang; Zihan Zhang; Weiwei Deng; Furu Wei; Feng Sun 008; Qi Zhang 066; Zhi Jin 001 (EMNLP, 2025)

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation. - Yue Fang 001; Zhi Jin 001; Jie An 001; Hongshen Chen; Xiao-hong Chen 001; Naijun Zhan (AAAI, 2026)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification. - Yue Fang 001; Zhi Jin 001; Jie An 001; Hongshen Chen; Xiaohong Chen 001; Naijun Zhan (CoRR, 2026)