@misc{indiciae47b9596762f8,
  title = {Proof Artifact Co-training for Theorem Proving with Language Models},
  author = {Jesse Michael Han and Jason Rute and Yuhuai Wu and Edward W. Ayers and Stanislas Polu},
  year = {2022},
  url = {https://arxiv.org/abs/2102.06203},
  note = {Source identifier: 2102.06203}
}