Proof Artifact Co-training for Theorem Proving with Language Models

Han, Jesse Michael, Rute, Jason, Wu, Yuhuai, Ayers, Edward W., Polu, Stanislas·2021·arXiv
DOI 10.48550/arxiv.2102.06203