Alert button

Proof Artifact Co-training for Theorem Proving with Language Models

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

Figure 1 for Proof Artifact Co-training for Theorem Proving with Language Models
Figure 2 for Proof Artifact Co-training for Theorem Proving with Language Models
Figure 3 for Proof Artifact Co-training for Theorem Proving with Language Models
Figure 4 for Proof Artifact Co-training for Theorem Proving with Language Models

Share this with someone who'll enjoy it:

View paper onarxiv iconopen_review iconOpenReview

Share this with someone who'll enjoy it: