--- title: "Yuhuai Wu — papers" description: "Yuhuai Wu: 6 papers in the Elamur Research library (2022–2024) — our summary of each, its ideas, references and who cites it." canonical: "https://research.elamur.ai/free/en/authors/yuhuai-wu/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yuhuai-wu/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Yuhuai Wu # Yuhuai Wu 6 papers on this site (2022–2024) [OpenAlex](https://openalex.org/A5024901763) · h-index 24 · 63 works · 7878 citations (openalex-snapshot, 2026-10-14) Profile data from OpenAlex; authors with the same name are not always told apart. - [Solving olympiad geometry without human demonstrations](https://md.research.elamur.ai/free/en/papers/trinh-2024-solving-olympiad-geometry-without-human/) — Trieu H. Trinh, Yuhuai Wu, Quoc V. Le, et al. · 2024 - [Autoformalization with Large Language Models](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/) — Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al. · 2022 - [Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/) — Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al. · 2022 - [Exploring Length Generalization in Large Language Models](https://md.research.elamur.ai/free/en/papers/anil-2022-exploring-length-generalization-large-language/) — Cem Anil, Yuhuai Wu, Anders Andreassen, et al. · 2022 - [Solving Quantitative Reasoning Problems with Language Models](https://md.research.elamur.ai/free/en/papers/lewkowycz-2022-solving-quantitative-reasoning-problems-language/) — Aitor Lewkowycz, Anders Andreassen, David Dohan, et al. · 2022 - [STaR: Bootstrapping Reasoning With Reasoning](https://md.research.elamur.ai/free/en/papers/zelikman-2022-star-bootstrapping-reasoning-reasoning/) — Eric Zelikman, Yuhuai Wu, Jesse Mu, et al. · 2022