Scholar
Zihao Li
Google Scholar ID: tbu1jqUAAAAJ
Princeton University
machine learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
310
H-index
8
i10-index
6
Publications
11
Co-authors
10
list available
Contact
No contact links provided.
Publications
1 items
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
2026
Cited
0
Resume (English only)
Co-authors
10 total
Mengdi Wang
Professor, Princeton AI Lab, CSML&ECE, Princeton University
Minshuo Chen
Northwestern University
Zhuoran Yang
Yale University
Yuting Wei
Statistics and Data Science at Wharton, University of Pennsylvania
Yuchen Wu
University of Pennsylvania
Jianqing Fan
Professor of Statistics, Professor of Finance, Princeton University
Jason M. Klusowski
Assistant Professor, Department of Operations Research & Financial Engineering
Yinyu Ye
Professor of Emeritus, Stanford University and Visiting Professor of SJTU, CUHKSZ and HKUST
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up