christopherastone commited on
Commit
68c53e1
1 Parent(s): eec2898

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +5 -3
README.md CHANGED
@@ -1,9 +1,11 @@
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
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 like `Let MATH be given.` or `By the inductive hypothesis,`
 
 
 
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
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.`
11
+ * `By the inductive hypothesis,`