Modelpublic

christopherastone/distilgpt2-proofs

sourceHugging Faceupdated 3y agoView on Hugging Face

0likes160downloads

Model Card

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