metadata
widget:
- text: Let MATH be given.
- text: If MATH is a nonempty
- text: By the inductive hypothesis,
DistilGPT2 English language model fine-tuned on mathematical proofs extracted from arXiv.org LaTeX sources from 1992 to 2020.
Proofs have been cleaned up a bit. In particular, they use
CITEfor any citationREFfor any referenceMATHfor any LaTeX mathematical formulaCASE:for any\itemor labeled subcase.