Contributed Talk 2
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence
Proof Artifact Co-training for Theorem Proving With Language Models
Abstract: