Commit
·
7029aac
1
Parent(s):
edcc6a3
Update README.md
Browse files
README.md
CHANGED
@@ -4,8 +4,9 @@
|
|
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.`
|
11 |
-
* `By the inductive hypothesis,`
|
|
|
|
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,`
|
12 |
+
* `If MATH is a nonempty`
|