Update README.md

Added widget-text metadata

README.md

@@ -1,12 +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.
- 
- For text generation, I recommend prompts such as:
- * `Let MATH be given.`
- * `By the inductive hypothesis,`
- * `If MATH is a nonempty`
+ * `CASE:` for any `\item` or labeled subcase.