Commit
•
79260f8
1
Parent(s):
68c53e1
Update README.md
Browse files
README.md
CHANGED
@@ -1,10 +1,10 @@
|
|
1 |
-
[DistilGPT2](https://huggingface.co/distilgpt2) English language model fine-tuned on mathematical proofs extracted from LaTeX [arXiv.org](https://arxiv.org) from 1992
|
2 |
|
3 |
Proofs have been cleaned up a bit. In particular, they use
|
4 |
* `CITE` for any citation
|
5 |
* `REF` for any reference
|
6 |
* `MATH` for any LaTeX mathematical formula
|
7 |
-
* `CASE:` for any
|
8 |
|
9 |
For text generation, I recommend prompts such as:
|
10 |
* `Let MATH be given.`
|
|
|
1 |
+
[DistilGPT2](https://huggingface.co/distilgpt2) English language model fine-tuned on mathematical proofs extracted from LaTeX [arXiv.org](https://arxiv.org) documents from 1992 to 2020.
|
2 |
|
3 |
Proofs have been cleaned up a bit. In particular, they use
|
4 |
* `CITE` for any citation
|
5 |
* `REF` for any reference
|
6 |
* `MATH` for any LaTeX mathematical formula
|
7 |
+
* `CASE:` for any `\\\\item` or labeled subcase.
|
8 |
|
9 |
For text generation, I recommend prompts such as:
|
10 |
* `Let MATH be given.`
|