Yuhuai Wu
Publications by Year
Research Areas
Natural Language Processing Techniques, Topic Modeling, Constraint Satisfaction and Optimization, Formal Methods in Verification, Software Testing and Debugging Techniques
Most-Cited Works
- → STaR: Bootstrapping Reasoning with Reasoning(2022)1 cited
- → Focused Transformer: Contrastive Training for Context Scaling(2023)
- → Solving Quantitative Reasoning Problems with Language Models(2022)
- → Exploring Length Generalization in Large Language Models(2022)
- → Block-Recurrent Transformers(2022)
- → Lexinvariant Language Models(2023)
- → Path Independent Equilibrium Models Can Better Exploit Test-Time Computation(2022)
- → Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers(2022)
- → Autoformalization with Large Language Models(2022)