Proof Artifact Co-Training for Theorem Proving with Language Models.

Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

Browse the full ICLR paper archive.