Scholar
Zhi Wang
Google Scholar ID: 6WLJjCIAAAAJ
PhD Student, University of California San Diego
Machine Learning
Learning Theory
Reinforcement Learning
Bandits
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
96
H-index
6
i10-index
3
Publications
10
Co-authors
0
Contact
No contact links provided.
Publications
1 items
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)