[DistilGPT2 English language model](https://huggingface.co/distilgpt2) fine-tuned on 29 years of mathematical proofs extracted from [arXiv.org](https://arxiv.org).