pytorch tf jax gpt2 lm-head causal-lm transformers text-generation
.gitattributes README.md config.json flax_model.msgpack merges.txt pytorch_model.bin special_tokens_map.json tf_model.h5 tokenizer_config.json vocab.json
[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.
 
 For text generation, I recommend prompts such as:
 * `Let MATH be given.`
 * `By the inductive hypothesis,`
 * `If MATH is a nonempty`