[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.
{"widget": [{"text": "Let MATH be given."}, {"text": "If MATH is a nonempty"}, {"text": "By the inductive hypothesis,"}]}
transformers pytorch tf jax safetensors gpt2 text-generation autotrain_compatible endpoints_compatible text-generation-inference region:us
TAGS
#transformers #pytorch #tf #jax #safetensors #gpt2 #text-generation #autotrain_compatible #endpoints_compatible #text-generation-inference #region-us 

DistilGPT2  English language model fine-tuned on mathematical proofs extracted from URL 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.
TAGS
#transformers #pytorch #tf #jax #safetensors #gpt2 #text-generation #autotrain_compatible #endpoints_compatible #text-generation-inference #region-us 

passage: TAGS
#transformers #pytorch #tf #jax #safetensors #gpt2 #text-generation #autotrain_compatible #endpoints_compatible #text-generation-inference #region-us 
