Yuhuai Wu

Computer Science · Physical Sciences

26h-index8.2kcitations77works27.72yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Topic Modeling(25), Natural Language Processing Techniques(19), Reinforcement Learning in Robotics(15), Neural Networks and Applications(11), Domain Adaptation and Few-Shot Learning(7)

Publications75 total

Voxtral Realtime
arXiv (Cornell University)·2026Open Access
Voxtral Realtime
ArXiv.org·2026Open Access
Voxtral Realtime
Open MIND·2026Open Access
Evaluating language models for mathematics through interactions
Proceedings of the National Academy of Sciences·2024· 39 citedOpen Access
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
arXiv (Cornell University)·2024· 3 citedOpen Access
REFACTOR: Learning to Extract Theorems from Proofs
arXiv (Cornell University)·2024Open Access
Author Correction: Solving olympiad geometry without human demonstrations
Nature·2024Open Access
Solving olympiad geometry without human demonstrations
Nature·2024· 207 citedOpen Access
Effect of General Anesthesia Combined with Anterior Serratus Muscle Plane Block on Pain Relief and Cognitive Function in Undergoing Thoracoscopic Lobectomy
Indian Journal of Pharmaceutical Sciences·2024Open Access
Comprehensive Analysis of N6-Methyladenosine RNA Methylation Regulators in the Diagnosis and Subtype Classification of Rheumatoid Arthritis
Biochemical Genetics·2023· 3 cited
Evaluating Language Models for Mathematics through Interactions
SPIRE - Sciences Po Institutional REpository·2023Open Access
Focused Transformer: Contrastive Training for Context Scaling
arXiv (Cornell University)·2023· 13 citedOpen Access
Length Generalization in Arithmetic Transformers
arXiv (Cornell University)·2023· 2 citedOpen Access
Evaluating Language Models for Mathematics through Interactions
arXiv (Cornell University)·2023· 3 citedOpen Access
Lexinvariant Language Models
arXiv (Cornell University)·2023Open Access
Magnushammer: A Transformer-Based Approach to Premise Selection
arXiv (Cornell University)·2023· 8 citedOpen Access
Path Independent Equilibrium Models Can Better Exploit Test-Time Computation
arXiv (Cornell University)·2022· 3 citedOpen Access
Holistic Evaluation of Language Models
arXiv (Cornell University)·2022· 114 citedOpen Access
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
arXiv (Cornell University)·2022· 25 citedOpen Access
Formal Premise Selection With Language Models
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
page 1 of 4Next →

Frequent Co-authors

Roger Grosse(9), Jimmy Ba(9), Ruslan Salakhutdinov(6), Behnam Neyshabur(5), Yoshua Bengio(5), Saizheng Zhang(5), Christian Szegedy(5), Henryk Michalewski(4), Geoffrey Roeder(4), David Duvenaud(4), Albert Q. Jiang(4), Mateja Jamnik(4), Wenda Li(4), Alexander Sasha Vezhnevets(3), Rémi Leblond(3), Elman Mansimov(3), S. Matthew Liao(3), Aitor Lewkowycz(3), Ethan Dyer(3), Wenda Li(3)