Yu Chen

Undergrad student, Department of Mathematical Sciences, Shanghai Jiaotong University

Joined

December 2024

Names

Yu Chen (Preferred)

Emails

****@sjtu.edu.cn (Confirmed)

Personal Links

Career & Education History

Undergrad student

Department of Mathematical Sciences, Shanghai Jiaotong University (sjtu.edu.cn)

2023 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity
Xiaoyang Liu, Tao Zhu, Zineng Dong, Yuntian Liu, Guo qingfeng, Liu ZhaoXuan, Yu Chen, Tao Luo
- ICLR 2026 Poster
- Readers: Everyone
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
Yuntian Liu, Tao Zhu, Xiaoyang Liu, Yu Chen, Liu ZhaoXuan, Guo qingfeng, Jiashuo Zhang, Kangjie Bao, Tao Luo
- AI4Math@ICML25 Poster
- Readers: Everyone
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yu Chen, Yuntian Liu, Yang Jiao, Tao Luo
- NeurIPS 2025 poster
- Readers: Everyone

Co-Authors