research
∙
02/03/2022
Formal Mathematics Statement Curriculum Learning
We explore the use of expert iteration in the context of language modeli...
share
research
∙
10/11/2021
Unsupervised Neural Machine Translation with Generative Language Models Only
We show how to derive state-of-the-art unsupervised neural machine trans...
research
∙
08/31/2021
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
We present miniF2F, a dataset of formal Olympiad-level mathematics probl...
research
∙
02/11/2021
Proof Artifact Co-training for Theorem Proving with Language Models
Labeled data for imitation learning of theorem proving in large librarie...
research
∙
09/07/2020