christopherastone
commited on
Commit
•
90cb91f
1
Parent(s):
2d4a133
Update README.md
Browse files
README.md
CHANGED
@@ -1,4 +1,4 @@
|
|
1 |
-
[DistilGPT2
|
2 |
|
3 |
Proofs have been cleaned up a bit. In particular, they use:
|
4 |
* `CITE` for any citation
|
|
|
1 |
+
[DistilGPT2](https://huggingface.co/distilgpt2) English language model fine-tuned on mathematical proofs extracted from LaTeX [arXiv.org](https://arxiv.org) from 1992-2020.
|
2 |
|
3 |
Proofs have been cleaned up a bit. In particular, they use:
|
4 |
* `CITE` for any citation
|