Carnegie Mellon University‡; Google Research, Stanford University†; University of Pittsburgh; OpenAI; IBM Research∗
Jesse Han, Jason Rute, Yuhuai Wu, Edward Ayers, Stanislas Polu
self-supervised learning;mathematics;reasoning;theorem proving;language modeling
Proof Artifact Co-Training for Theorem Proving with Language Models