File size: 507 Bytes
4e7b9f1 6ef4f66 2d4a133 68c53e1 2d4a133 eec2898 4e7b9f1 |
1 2 3 4 5 6 7 8 9 10 11 12 13 |
---
widget:
- text: "Let MATH be given."
- text: "If MATH is a nonempty"
- text: "By the inductive hypothesis,"
---
[DistilGPT2](https://huggingface.co/distilgpt2) English language model fine-tuned on mathematical proofs extracted from [arXiv.org](https://arxiv.org) LaTeX sources from 1992 to 2020.
Proofs have been cleaned up a bit. In particular, they use
* `CITE` for any citation
* `REF` for any reference
* `MATH` for any LaTeX mathematical formula
* `CASE:` for any `\item` or labeled subcase. |