Yuhuai (Tony) Wu
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- Solving olympiad geometry without human demonstrationsSaved credit: Contributor · 2024Explore people connected to this work →
- Solving Quantitative Reasoning Problems with Language ModelsSaved credit: Contributor · 2022Explore people connected to this work →
- Autoformalization with Large Language ModelsSaved credit: Contributor · 2022Explore people connected to this work →
- STaR: Bootstrapping Reasoning With ReasoningSaved credit: Contributor · 2022Explore byline and saved connections →
- Memorizing TransformersSaved credit: Contributor · 2022Explore people connected to this work →