Scholar
Ye Yuan
Google Scholar ID: h8WQaTkAAAAJ
PhD student, Peking University
Machine Learning
NLP
Large Language Models
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
254
H-index
10
i10-index
11
Publications
16
Co-authors
6
list available
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
Co-authors
6 total
Ming Zhang（张铭）
Professor,Peking University
Jianhao Shen
Huawei HiSilicon
Yichun Yin
Noah's Ark Lab, Huawei
Chenguang Wang
UC Santa Cruz
Dezhi Ran
School of Computer Science, Peking University
Kaigui Bian
Associate Professor, School of CS, Peking University
