TY  - RPRT
TI  - Proof Artifact Co-training for Theorem Proving with Language Models
AU  - Jesse Michael Han
AU  - Jason Rute
AU  - Yuhuai Wu
AU  - Edward W. Ayers
AU  - Stanislas Polu
PY  - 2022
UR  - https://arxiv.org/abs/2102.06203
ID  - 2102.06203
ER  -