Scholar
Thomas Zhu
Google Scholar ID: _UrS_fIAAAAJ
Carnegie Mellon University
machine learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
94
H-index
4
i10-index
3
Publications
6
Co-authors
0
Publications
2 items
LeanArchitect: Automating Blueprint Generation for Humans and AI
2026
Cited
0
Premise Selection for a Lean Hammer
2025
Cited
0
