Scholar
Evan Wang
Google Scholar ID: KjRGemIAAAAJ
California Institute of Technology
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
135
H-index
3
i10-index
3
Publications
3
Co-authors
0
Contact
No contact links provided.
Publications
4 items
TheoremGraph: Bridging Formal and Informal Mathematics
2026
Cited
0
Learning to Repair Lean Proofs from Compiler Feedback
2026
Cited
0
Post-training for Efficient Communication via Convention Formation
2025
Cited
0
Consistency Checks for Language Model Forecasters
2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
