research
∙
02/03/2022
Formal Mathematics Statement Curriculum Learning
We explore the use of expert iteration in the context of language modeli...
share
research
∙
01/24/2022
Text and Code Embeddings by Contrastive Pre-Training
Text embeddings are useful features in many applications such as semanti...
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
∙
02/09/2021
k-Equivalence Relations and Associated Algorithms
Lines and circles pose significant scalability challenges in synthetic g...
research
∙
12/21/2020
Universal Policies for Software-Defined MDPs
We introduce a new programming paradigm called oracle-guided decision pr...
research
∙
12/01/2020
Automatically Building Diagrams for Olympiad Geometry Problems
We present a method for automatically building diagrams for olympiad-lev...
research
∙
07/06/2020
Enhancing SAT solvers with glue variable predictions
Modern SAT solvers routinely operate at scales that make it impractical ...
research
∙
04/23/2019