初始化项目，由ModelHub XC社区提供模型

Model: christopherastone/distilgpt2-proofs Source: Original Platform
2026-07-30 08:57:19 +08:00
commit 5d1a884822
11 changed files with 50090 additions and 0 deletions
--- a/README.md
+++ b/README.md
@@ -0,0 +1,13 @@
+---
+widget:
+- text: "Let MATH be given."
+- text: "If MATH is a nonempty"
+- text: "By the inductive hypothesis,"
+---
+[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.