christopherastone/distilgpt2-proofs
1
0
Fork 0
Code Issues Pull Requests Actions Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags
main
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE

README.md

widget
widget
text
Let MATH be given.
text
If MATH is a nonempty
text
By the inductive hypothesis,

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.
Description
Model synced from source: christopherastone/distilgpt2-proofs
Readme 620 KiB
Languages
Text 100%