Ye Yuan

PhD student, Haidian, Peking University

Joined

November 2021

Names

Ye Yuan (Preferred)

Emails

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

Personal Links

Semantic Scholar

Career & Education History

PhD student

Haidian, Peking University (pku.edu.cn)

2021 – 2026

Advisors, Relations & Conflicts

PhD Advisor

2021 – 2026

Coauthor

2022 – 2022

Expertise

No areas of expertise listed

Publications

FMC: Formalization of Natural Language Mathematical Competition Problems
Jiaxuan Xie, Chengwu Liu, Ye Yuan, Siqi Li, Zhiping Xiao, Ming Zhang
- Submitted to ICLR 2026
- Readers: Everyone
FMC: Formalization of Natural Language Mathematical Competition Problems
Jiaxuan Xie, Chengwu Liu, Ye Yuan, Siqi Li, Zhiping Xiao, Ming Zhang
- AI4Math@ICML25 Poster
- Readers: Everyone
Large Language Model Agent: A Survey on Methodology, Applications and Challenges
Junyu Luo, Weizhi Zhang, Ye Yuan, Yusheng Zhao, Junwei Yang, Yiyang Gu, Bohan Wu, Binqi Chen, Ziyue Qiao, QingqingLong, Rong-Cheng Tu, Xiao Luo, Wei Ju, Zhiping Xiao, Yifan Wang, Meng Xiao, Chengwu Liu, Jingyang Yuan, Shichang Zhang, Yiqiao Jin et al. (6 additional authors not shown)
- OpenReview Archive Direct Upload
- Readers: Everyone
Efficient Diffusion Models: A Survey
Hui Shen, Jingxuan Zhang, Boning Xiong, Rui Hu, Shoufa Chen, Zhongwei Wan, Xin Wang, Yu Zhang, Zixuan Gong, Guangyin Bao, Chaofan Tao, Yongfeng Huang, Ye Yuan, Mi Zhang
- Accepted by TMLR
- Readers: Everyone
A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning
Ye Yuan, Liu Chengwu, Jingyang Yuan, Gongbo Sun, Siqi Li, Ming Zhang
- 2024 KDD Cup CRAG Workshop
- Readers: Everyone
Measuring Vision-Language STEM Skills of Neural Models
Jianhao Shen, Ye Yuan, Srbuhi Mirzoyan, Ming Zhang, Chenguang Wang
- ICLR 2024 poster
- Readers: Everyone
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
- EMNLP 2023 Main
- Readers: Everyone
Reusing Pretrained Models by Multi-linear Operators for Efficient Training
Yu Pan, Ye Yuan, Yichun Yin, Zenglin Xu, Lifeng Shang, Xin Jiang, Qun Liu
- NeurIPS 2023 poster
- Readers: Everyone

Co-Authors

View all 60 co-authors