Ye Yuan
Scholar

Ye Yuan

Google Scholar ID: h8WQaTkAAAAJ
PhD student, Peking University
Machine LearningNLPLarge Language Models
Google Scholar↗
Citations & Impact
All-time
Citations
254
 
H-index
10
 
i10-index
11
 
Publications
16
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
2 items
SciCustom: A Framework for Custom Evaluation of Scientific Capabilities in Large Language Models
2026
Cited
0
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
2026
Cited
0
Resume (English only)
Co-authors
6 total
Ming Zhang（张铭）
Ming Zhang（张铭）
Professor,Peking University
Jianhao Shen
Jianhao Shen
Huawei HiSilicon
Yichun Yin
Yichun Yin
Noah's Ark Lab, Huawei
Chenguang Wang
Chenguang Wang
UC Santa Cruz
Dezhi Ran
Dezhi Ran
School of Computer Science, Peking University
Kaigui Bian
Kaigui Bian
Associate Professor, School of CS, Peking University