Yuhuai Wu

papers

3,183

total citations

papers (12)

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

NEURIPS 2022arXiv

124

citations

Magnushammer: A Transformer-Based Approach to Premise Selection

ICLR 2024arXiv

citations

Subgoal Search For Complex Reasoning Tasks

NEURIPS 2021arXiv

citations

Path Independent Equilibrium Models Can Better Exploit Test-Time Computation

NEURIPS 2022arXiv

citations

Insights into Pre-training via Simpler Synthetic Tasks

NEURIPS 2022arXiv

citations

Lexinvariant Language Models

NEURIPS 2023arXiv

citations

Yuhuai Wu

papers (12)

Solving Quantitative Reasoning Problems with Language Models

STaR: Bootstrapping Reasoning With Reasoning

Autoformalization with Large Language Models

Exploring Length Generalization in Large Language Models

Focused Transformer: Contrastive Training for Context Scaling

Block-Recurrent Transformers

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

Magnushammer: A Transformer-Based Approach to Premise Selection

Subgoal Search For Complex Reasoning Tasks

Path Independent Equilibrium Models Can Better Exploit Test-Time Computation

Insights into Pre-training via Simpler Synthetic Tasks

Lexinvariant Language Models

papers (12)

Solving Quantitative Reasoning Problems with Language Models

STaR: Bootstrapping Reasoning With Reasoning

Autoformalization with Large Language Models

Exploring Length Generalization in Large Language Models

Focused Transformer: Contrastive Training for Context Scaling

Block-Recurrent Transformers

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

Magnushammer: A Transformer-Based Approach to Premise Selection

Subgoal Search For Complex Reasoning Tasks

Path Independent Equilibrium Models Can Better Exploit Test-Time Computation

Insights into Pre-training via Simpler Synthetic Tasks

Lexinvariant Language Models