Zheng Yuan

Researcher, Alibaba Group

Joined

April 2021

Names

Zheng Yuan (Preferred)

Emails

****@mails.tsinghua.edu.cn (Confirmed)

****@alibaba-inc.com (Confirmed)

****@qq.com (Confirmed)

Personal Links

Career & Education History

Researcher

Alibaba Group (alibaba-inc.com)

2022 – Present

PhD student

Tsinghua University, Tsinghua University (tsinghua.edu.cn)

2017 – 2022

Advisors, Relations & Conflicts

No relations added

Expertise

medical informatics

Present

term normalization

Present

medical language model

Present

large langugae model

Present

alignment

Present

math reasoning

Present

Publications

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Zhouliang Yu, Ruotian Peng, Keyi Ding, Yizhe Li, Zhongyuan Peng, Minghao Liu, Yifan Zhang, Zheng Yuan, Huajian Xin, Wenhao Huang, Yandong Wen, Ge Zhang, Weiyang Liu
- ICLR 2026 Conference Desk Rejected Submission
- Readers: Everyone
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
Zijian Wu, Suozhi Huang, Zhejian Zhou, Huaiyuan Ying, Zheng Yuan, Wenwei Zhang, Dahua Lin, Kai Chen
- AI4Math@ICML25 Poster
- Readers: Everyone
#InsTag: Instruction Tagging for Analyzing Supervised Fine-tuning of Large Language Models
Keming Lu, Hongyi Yuan, Zheng Yuan, Runji Lin, Junyang Lin, Chuanqi Tan, Chang Zhou, Jingren Zhou
- Instruction Workshop @ NeurIPS 2023
- Readers: Everyone
Query and Response Augmentation Cannot Help Out-of-domain Math Reasoning Generalization
Chengpeng Li, Zheng Yuan, Hongyi Yuan, Guanting Dong, Keming Lu, Jiancan Wu, Chuanqi Tan, Xiang Wang, Chang Zhou
- ICLR 2024 Conference Withdrawn Submission
- Readers: Everyone
How Abilities in Large Language Models are Affected by Supervised Fine-tuning Data Composition
Guanting Dong, Hongyi Yuan, Keming Lu, Chengpeng Li, Mingfeng Xue, Dayiheng Liu, Wei Wang, Zheng Yuan, Chang Zhou, Jingren Zhou
- ICLR 2024 Conference Withdrawn Submission
- Readers: Everyone
OccuQuest: Mitigating Occupational Bias for Inclusive Large Language Models
Mingfeng Xue, Dayiheng Liu, Kexin Yang, Guanting Dong, Wenqiang Lei, Zheng Yuan, Chang Zhou, Jingren Zhou
- ICLR 2024 Conference Withdrawn Submission
- Readers: Everyone
#InsTag: Instruction Tagging for Analyzing Supervised Fine-tuning of Large Language Models
Keming Lu, Hongyi Yuan, Zheng Yuan, Runji Lin, Junyang Lin, Chuanqi Tan, Chang Zhou, Jingren Zhou
- ICLR 2024 poster
- Readers: Everyone
Scaling Relationship on Learning Mathematical Reasoning with Large Language Models
Zheng Yuan, Hongyi Yuan, Chengpeng Li, Guanting Dong, Keming Lu, Chuanqi Tan, Chang Zhou, Jingren Zhou
- Submitted to ICLR 2024
- Readers: Everyone
RRHF: Rank Responses to Align Language Models with Human Feedback
Hongyi Yuan, Zheng Yuan, Chuanqi Tan, Wei Wang, Songfang Huang, Fei Huang
- NeurIPS 2023 poster
- Readers: Everyone
Biomedical Question Answering: A Survey of Approaches and Challenges
Qiao Jin, Zheng Yuan, Guangzhi Xiong, Qianlan Yu, Huaiyuan Ying, Chuanqi Tan, Mosha Chen, Songfang Huang, Xiaozhong Liu, Sheng Yu
- 2023 (modified: 16 Nov 2022)
- ACM Comput. Surv. 2023
- Readers: Everyone

View all 52 publications

Co-Authors

View all 146 co-authors