Commit
•
2d4a133
1
Parent(s):
414826a
Create README.md
Browse files
README.md
CHANGED
|
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
[DistilGPT2 English language model](https://huggingface.co/distilgpt2) fine-tuned on mathematical proofs extracted from LaTeX sources on [arXiv.org](https://arxiv.org).
|
| 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.
|