🧑‍🔬 Yuhuai Wu — all works

31 works · ← Yuhuai Wu

1. Holistic Evaluation of Language Models ↗arXiv:2211.09110 · Published in Transactions on Machine Learning Research (TMLR), 2023 · no summary yetPercy Liang et al.2022 · 1,001 citations
2. Solving Quantitative Reasoning Problems with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022 · 992 citations
3. STaR: Bootstrapping Reasoning With ReasoningEric Zelikman, Yuhuai Wu, Jesse Mu, et al.Mova's core list · 777 citations
4. Solving olympiad geometry without human demonstrationsNatureTrieu 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 ↗arXiv (Cornell University) · no summary yetYuhuai Wu et al.2017 · 450 citations
6. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
7. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citations
8. Memorizing Transformers ↗arXiv:2203.08913 · no summary yetYuhuai Wu et al.2022 · 163 citations
9. Exploring Length Generalization in Large Language ModelsarXiv:2207.04901Cem Anil, Yuhuai Wu, Anders Andreassen, et al.2022 · 139 citations
10. Architectural Complexity Measures of Recurrent Neural Networks ↗arXiv (Cornell University) · no summary yetSaizheng Zhang et al.2016 · 115 citations
11. Language Model Cascades ↗arXiv:2207.10342 · no summary yetDavid Dohan et al.2022 · 89 citations
12. Proof Artifact Co-training for Theorem Proving with Language Models ↗arXiv:2102.06203 · no summary yetJesse Michael Han et al.2021 · 82 citations
13. Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers ↗arXiv:2205.10893 · no summary yetAlbert Q. Jiang et al.2022 · 79 citations
14. On Multiplicative Integration with Recurrent Neural Networks ↗arXiv (Cornell University) · no summary yetYuhuai Wu et al.2016 · 69 citations
15. Hierarchical Transformers Are More Efficient Language Models ↗Findings of the Association for Computational Linguistics: NAACL 2022 · no summary yetPiotr Nawrot et al.2022 · 60 citations
16. Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization ↗arXiv:2403.18120 · no summary yetJin Peng Zhou et al.2024 · 45 citations
17. IsarStep: a Benchmark for High-level Mathematical Reasoning ↗arXiv:2006.09265 · no summary yetWenda Li et al.2020 · 43 citations
18. INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving ↗arXiv:2007.02924 · no summary yetYuhuai Wu et al.2020 · 41 citations
19. On the Quantitative Analysis of Decoder-Based Generative Models ↗arXiv (Cornell University) · no summary yetYuhuai Wu et al.2016 · 41 citations
20. Evaluating Language Models for Mathematics through Interactions ↗arXiv:2306.01694 · no summary yetKatherine M. Collins et al.2023 · 40 citations
21. LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning ↗arXiv:2101.06223 · no summary yetYuhuai Wu et al.2021 · 39 citations
22. Magnushammer: A Transformer-Based Approach to Premise Selection ↗arXiv:2303.04488 · no summary yetMaciej Mikuła et al.2023 · 35 citations
23. Length Generalization in Arithmetic Transformers ↗arXiv:2306.15400 · no summary yetSamy Jelassi et al.2023 · 29 citations
24. The Scattering Compositional Learner: Discovering Objects, Attributes, Relationships in Analogical Reasoning ↗arXiv (Cornell University) · no summary yetYuhuai Wu et al.2020 · 27 citations
25. ACTRCE: Augmenting Experience via Teacher's Advice For Multi-Goal Reinforcement Learning ↗arXiv (Cornell University) · no summary yetHarris Chan et al.2019 · 25 citations
26. Path-Normalized Optimization of Recurrent Neural Networks with ReLU Activations ↗arXiv (Cornell University) · no summary yetBehnam Neyshabur et al.2016 · 16 citations
27. Concurrent Meta Reinforcement Learning ↗arXiv (Cornell University) · no summary yetEmilio Parisotto et al.2019 · 13 citations
28. Second-order Optimization for Deep Reinforcement Learning using Kronecker-factored Approximation ↗neural information processing systems · no summary yetYuhuai Wu et al.2017 · 7 citations
29. Efficient Statistical Tests: A Neural Tangent Kernel Approach ↗no summary yetSheng Jia et al.2021 · 6 citations
30. A Non-asymptotic comparison of SVRG and SGD: tradeoffs between compute and speed ↗no summary yetQingru Zhang et al.2019
31. ACTRCE: Augmenting Experience via Teacher’s Advice ↗no summary yetYuhuai Wu et al.2018

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/yuhuai-wu/works/