---
title: "Yuhuai Wu — all works — Elamur Research"
description: "All 31 works of Yuhuai Wu in the Elamur Research library, the most cited first: our summaries where we have them, else the original."
canonical: "https://research.elamur.ai/free/en/authors/yuhuai-wu/works/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yuhuai-wu/works/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Yuhuai Wu](https://md.research.elamur.ai/free/en/authors/yuhuai-wu/) / all works

# Yuhuai Wu — all works

31 works · [← Yuhuai Wu](https://md.research.elamur.ai/free/en/authors/yuhuai-wu/)

1. **[Holistic Evaluation of Language Models ↗](https://arxiv.org/abs/2211.09110) arXiv:2211.09110 · Published in Transactions on Machine Learning Research (TMLR), 2023 · no summary yet**Percy Liang et al.*2022 · 1,001 citations*
2. **[Solving Quantitative Reasoning Problems with Language Models](https://md.research.elamur.ai/free/en/papers/lewkowycz-2022-solving-quantitative-reasoning-problems-language/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.*2022 · 992 citations*
3. [**STaR: Bootstrapping Reasoning With Reasoning**Eric Zelikman, Yuhuai Wu, Jesse Mu, et al.*Mova's core list · 777 citations*](https://md.research.elamur.ai/free/en/papers/zelikman-2022-star-bootstrapping-reasoning-reasoning/)
4. **[Solving olympiad geometry without human demonstrations](https://md.research.elamur.ai/free/en/papers/trinh-2024-solving-olympiad-geometry-without-human/) [Nature](https://md.research.elamur.ai/free/en/venues/nature/)**Trieu H. Trinh, Yuhuai Wu, Quoc V. Le, et al.*2024 · 498 citations*
5. **[Scalable trust-region method for deep reinforcement learning using Kronecker-factored approximation ↗](https://arxiv.org/abs/1708.05144) arXiv (Cornell University) · no summary yet**Yuhuai Wu et al.*2017 · 450 citations*
6. [**Autoformalization with Large Language Models arXiv:2205.12615**Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.*2022 · 204 citations*](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/)
7. [**Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs arXiv:2210.12283**Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.*2022 · 178 citations*](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/)
8. **[Memorizing Transformers ↗](https://arxiv.org/abs/2203.08913) arXiv:2203.08913 · no summary yet**Yuhuai Wu et al.*2022 · 163 citations*
9. [**Exploring Length Generalization in Large Language Models arXiv:2207.04901**Cem Anil, Yuhuai Wu, Anders Andreassen, et al.*2022 · 139 citations*](https://md.research.elamur.ai/free/en/papers/anil-2022-exploring-length-generalization-large-language/)
10. **[Architectural Complexity Measures of Recurrent Neural Networks ↗](https://arxiv.org/abs/1602.08210) arXiv (Cornell University) · no summary yet**Saizheng Zhang et al.*2016 · 115 citations*
11. **[Language Model Cascades ↗](https://arxiv.org/abs/2207.10342) arXiv:2207.10342 · no summary yet**David Dohan et al.*2022 · 89 citations*
12. **[Proof Artifact Co-training for Theorem Proving with Language Models ↗](https://arxiv.org/abs/2102.06203) arXiv:2102.06203 · no summary yet**Jesse Michael Han et al.*2021 · 82 citations*
13. **[Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers ↗](https://arxiv.org/abs/2205.10893) arXiv:2205.10893 · no summary yet**Albert Q. Jiang et al.*2022 · 79 citations*
14. **[On Multiplicative Integration with Recurrent Neural Networks ↗](https://arxiv.org/abs/1606.06630) arXiv (Cornell University) · no summary yet**Yuhuai Wu et al.*2016 · 69 citations*
15. **[Hierarchical Transformers Are More Efficient Language Models ↗](https://aclanthology.org/2022.findings-naacl.117/) Findings of the Association for Computational Linguistics: NAACL 2022 · no summary yet**Piotr Nawrot et al.*2022 · 60 citations*
16. **[Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization ↗](https://arxiv.org/abs/2403.18120) arXiv:2403.18120 · no summary yet**Jin Peng Zhou et al.*2024 · 45 citations*
17. **[IsarStep: a Benchmark for High-level Mathematical Reasoning ↗](https://arxiv.org/abs/2006.09265) arXiv:2006.09265 · no summary yet**Wenda Li et al.*2020 · 43 citations*
18. **[INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving ↗](https://arxiv.org/abs/2007.02924) arXiv:2007.02924 · no summary yet**Yuhuai Wu et al.*2020 · 41 citations*
19. **[On the Quantitative Analysis of Decoder-Based Generative Models ↗](https://arxiv.org/abs/1611.04273) arXiv (Cornell University) · no summary yet**Yuhuai Wu et al.*2016 · 41 citations*
20. **[Evaluating Language Models for Mathematics through Interactions ↗](https://arxiv.org/abs/2306.01694) arXiv:2306.01694 · no summary yet**Katherine M. Collins et al.*2023 · 40 citations*
21. **[LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning ↗](https://arxiv.org/abs/2101.06223) arXiv:2101.06223 · no summary yet**Yuhuai Wu et al.*2021 · 39 citations*
22. **[Magnushammer: A Transformer-Based Approach to Premise Selection ↗](https://arxiv.org/abs/2303.04488) arXiv:2303.04488 · no summary yet**Maciej Mikuła et al.*2023 · 35 citations*
23. **[Length Generalization in Arithmetic Transformers ↗](https://arxiv.org/abs/2306.15400) arXiv:2306.15400 · no summary yet**Samy Jelassi et al.*2023 · 29 citations*
24. **[The Scattering Compositional Learner: Discovering Objects, Attributes, Relationships in Analogical Reasoning ↗](https://arxiv.org/abs/2007.04212) arXiv (Cornell University) · no summary yet**Yuhuai Wu et al.*2020 · 27 citations*
25. **[ACTRCE: Augmenting Experience via Teacher's Advice For Multi-Goal Reinforcement Learning ↗](https://arxiv.org/abs/1902.04546) arXiv (Cornell University) · no summary yet**Harris Chan et al.*2019 · 25 citations*
26. **[Path-Normalized Optimization of Recurrent Neural Networks with ReLU Activations ↗](https://arxiv.org/abs/1605.07154) arXiv (Cornell University) · no summary yet**Behnam Neyshabur et al.*2016 · 16 citations*
27. **[Concurrent Meta Reinforcement Learning ↗](https://arxiv.org/abs/1903.02710) arXiv (Cornell University) · no summary yet**Emilio Parisotto et al.*2019 · 13 citations*
28. **[Second-order Optimization for Deep Reinforcement Learning using Kronecker-factored Approximation ↗](https://openalex.org/W2753431380) neural information processing systems · no summary yet**Yuhuai Wu et al.*2017 · 7 citations*
29. **[Efficient Statistical Tests: A Neural Tangent Kernel Approach ↗](https://openalex.org/W3168905660) no summary yet**Sheng Jia et al.*2021 · 6 citations*
30. **[A Non-asymptotic comparison of SVRG and SGD: tradeoffs between compute and speed ↗](https://openalex.org/W2997794460) no summary yet**Qingru Zhang et al.*2019*
31. **[ACTRCE: Augmenting Experience via Teacher’s Advice ↗](https://openalex.org/W2914548969) no summary yet**Yuhuai Wu et al.*2018*