Yuhuai Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
4
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLR | Magnushammer: A Transformer-Based Approach to Premise Selection. | Maciej Mikula, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu |
| 2024 | ICLR | Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization. | Jin Peng Zhou, Charles Staats, Wenda Li, Christian Szegedy, Kilian Q. Weinberger, Yuhuai Wu |
| 2024 | ICLR | REFACTOR: Learning to Extract Theorems from Proofs. | Jin Peng Zhou, Yuhuai Wu, Qiyang Li, Roger Baker Grosse |
| 2023 | ICLR | Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. | Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothe Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu |
| 2023 | ICLR | Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search. | Michal Zawalski, Michal Tyrolski, Konrad Czechowski, Tomasz Odrzygzdz, Damian Stachura, Piotr Piekos, Yuhuai Wu, Lukasz Kucinski, Piotr Milos |
| 2022 | ICLR | Proof Artifact Co-Training for Theorem Proving with Language Models. | Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu |
| 2022 | ICLR | Invariant Causal Representation Learning for Out-of-Distribution Generalization. | Chaochao Lu, Yuhuai Wu, Jos Miguel Hernndez-Lobato, Bernhard Schlkopf |
| 2022 | ICLR | Memorizing Transformers. | Yuhuai Wu, Markus Norman Rabe, DeLesley Hutchins, Christian Szegedy |
| 2022 | NAACL | Hierarchical Transformers Are More Efficient Language Models. | Piotr Nawrot, Szymon Tworkowski, Michal Tyrolski, Lukasz Kaiser, Yuhuai Wu, Christian Szegedy, Henryk Michalewski |
| 2021 | AAAI | Learning Branching Heuristics for Propositional Model Counting. | Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus |
| 2021 | ICLR | IsarStep: a Benchmark for High-level Mathematical Reasoning. | Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson |
| 2021 | ICLR | INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving. | Yuhuai Wu, Albert Q. Jiang, Jimmy Ba, Roger Baker Grosse |
| 2021 | ICML | Efficient Statistical Tests: A Neural Tangent Kernel Approach. | Sheng Jia, Ehsan Nezhadarya, Yuhuai Wu, Jimmy Ba |
| 2021 | ICML | LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning. | Yuhuai Wu, Markus N. Rabe, Wenda Li, Jimmy Ba, Roger B. Grosse, Christian Szegedy |
| 2020 | ICML | OPtions as REsponses: Grounding behavioural hierarchies in multi-agent reinforcement learning. | Alexander Vezhnevets, Yuhuai Wu, Maria K. Eckstein, Rmi Leblond, Joel Z. Leibo |
| 2018 | ICLR | Backpropagation through the Void: Optimizing control variates for black-box gradient estimation. | Will Grathwohl, Dami Choi, Yuhuai Wu, Geoffrey Roeder, David Duvenaud |
| 2018 | ICLR | Understanding Short-Horizon Bias in Stochastic Meta-Optimization. | Yuhuai Wu, Mengye Ren, Renjie Liao, Roger B. Grosse |
| 2017 | ICLR | On the Quantitative Analysis of Decoder-Based Generative Models. | Yuhuai Wu, Yuri Burda, Ruslan Salakhutdinov, Roger B. Grosse |