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

CITE for any citation
REF for any reference
MATH for any LaTeX mathematical formula
CASE: for any \item or labeled subcase.

Downloads last month: 145

Safetensors

Model size

88.2M params

Tensor type

F32

Inference Providers NEW

Text Generation

This model is not currently available via any of the supported third-party Inference Providers, and the model is not deployed on the HF Inference API.