Downloads · 30 days
199
13% of all-time downloads
distilgpt2-proofs
christopherastone/distilgpt2-proofs
distilgpt2-proofs is a text generation model from christopherastone. Use it when you need the model to write or continue text. It is set up for transformers.
DistilGPT2 English language model fine-tuned on mathematical proofs extracted from arXiv.org LaTeX sources from 1992 to 2020.
All-time downloads
1.5K
Public
Parameters
88.2M
1.3 GB on disk
Likes
0
Public
Repo makeup
Click a slice to open those files.
.bin334 MB · 25%
Parameter types
How the weights are stored.
F3281.9M · 93%
Try a prompt
Model card
From the Hugging Face model README
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
CITEfor any citationREFfor any referenceMATHfor any LaTeX mathematical formulaCASE:for any\itemor labeled subcase.
- Task
- Text Generation
- Library
- transformers
- Type
- gpt2
- Created
- Mar 2, 2022
- Updated
- Sep 21, 2023