Yuhuai Wu

REFACTOR: Learning to Extract Theorems from Proofs

refactor-learning-to-extract-theorems-from

Evaluating Language Models for Mathematics through Interactions

arXiv 2023

Focused Transformer: Contrastive Training for Context Scaling

NeurIPS 2023 11

Memorizing Transformers

memorizing-transformers

Language Model Cascades

arXiv 2022

STaR: Bootstrapping Reasoning With Reasoning

arXiv 2022

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

arXiv 2022

Block-Recurrent Transformers

arXiv 2022

Hierarchical Transformers Are More Efficient Language Models

hierarchical-transformers-are-more-efficient-1

Proof Artifact Co-training for Theorem Proving with Language Models

proof-artifact-co-training-for-theorem-1

Henryk Michalewski

researcher

Albert Q. Jiang

Christian Szegedy

DeLesley Hutchins

Jin Peng Zhou

Mateja Jamnik

Szymon Tworkowski

Wenda Li

Adrian Weller

Aitor Lewkowycz