Yuhuai Wu
12
Papers
57
Total Citations
Papers (12)
Magnushammer: A Transformer-Based Approach to Premise Selection
ICLR 2024arXiv
57
citations
Subgoal Search For Complex Reasoning Tasks
NeurIPS 2021arXiv
0
citations
Solving Quantitative Reasoning Problems with Language Models
NeurIPS 2022arXiv
0
citations
Path Independent Equilibrium Models Can Better Exploit Test-Time Computation
NeurIPS 2022arXiv
0
citations
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
NeurIPS 2022arXiv
0
citations
STaR: Bootstrapping Reasoning With Reasoning
NeurIPS 2022arXiv
0
citations
Insights into Pre-training via Simpler Synthetic Tasks
NeurIPS 2022arXiv
0
citations
Autoformalization with Large Language Models
NeurIPS 2022arXiv
0
citations
Block-Recurrent Transformers
NeurIPS 2022arXiv
0
citations
Exploring Length Generalization in Large Language Models
NeurIPS 2022arXiv
0
citations
Lexinvariant Language Models
NeurIPS 2023arXiv
0
citations
Focused Transformer: Contrastive Training for Context Scaling
NeurIPS 2023arXiv
0
citations