Keyi Ding

Joined

January 2025

Names

Keyi Ding (Preferred)

Emails

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

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Intern

AI research, 2077AI (2077ai.com)

2024 – 2025

MS student

College of Artificial Intelligence, Hangzhou Dianzi University (hdu.edu.cn)

2022 – 2025

Advisors, Relations & Conflicts

Coauthor

2024 – Present

Expertise

Vision Language Models

2024 – Present

Large Language Model

2024 – Present

Autonomous Driving

2023 – 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
Advancing Formal Mathematical Reasoning with Explorative Reinforcement Learning
Zhouliang Yu, Zeju Qiu, Ruotian Peng, Keyi Ding, Jiyao Zhang, Han Shi, Yandong Wen, Weiyang Liu
- Submitted to ICLR 2026
- Readers: Everyone
SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines
Xeron Du, Yifan Yao, Kaijing Ma, Bingli Wang, Tianyu Zheng, King Zhu, Minghao Liu, Yiming Liang, Xiaolong Jin, Zhenlin Wei, Chujie Zheng, Kaixin Deng, Shuyue Guo, Shian Jia, Sichao Jiang, Yiyan Liao, Rui Li, Qinrui Li, Sirun Li, Yizhi LI et al. (75 additional authors not shown)
- NeurIPS 2025 Datasets and Benchmarks Track poster
- Readers: Everyone

Co-Authors

View all 105 co-authors