x54-729 commited on
Commit
f5ee87e
1 Parent(s): 06cf688

update readme

Browse files
Files changed (1) hide show
  1. README.md +5 -0
README.md CHANGED
@@ -121,18 +121,23 @@ print(response)
121
  We list some instructions used in our SFT. You can use them to help you. You can use the other ways to prompt the model, but the following are recommended. InternLM2-Math may combine the following abilities but it is not guaranteed.
122
 
123
  Translate proof problem to Lean:
 
124
  ![nl2lean3](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/nl2lean.jpeg)
125
 
126
  Using Lean 3 to solve GSM8K problem:
 
127
  ![gsm8k_lean](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/gsm8k_lean.jpeg)
128
 
129
  Generate problem based on Lean 3 code:
 
130
  ![lean_problem](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/lean_problem.jpeg)
131
 
132
  Play 24 point game:
 
133
  ![24](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/24.jpeg)
134
 
135
  Augment a harder math problem:
 
136
  ![augment_hard](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/augment_hard.jpeg)
137
 
138
  | Description | Query |
 
121
  We list some instructions used in our SFT. You can use them to help you. You can use the other ways to prompt the model, but the following are recommended. InternLM2-Math may combine the following abilities but it is not guaranteed.
122
 
123
  Translate proof problem to Lean:
124
+
125
  ![nl2lean3](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/nl2lean.jpeg)
126
 
127
  Using Lean 3 to solve GSM8K problem:
128
+
129
  ![gsm8k_lean](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/gsm8k_lean.jpeg)
130
 
131
  Generate problem based on Lean 3 code:
132
+
133
  ![lean_problem](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/lean_problem.jpeg)
134
 
135
  Play 24 point game:
136
+
137
  ![24](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/24.jpeg)
138
 
139
  Augment a harder math problem:
140
+
141
  ![augment_hard](https://raw.githubusercontent.com/InternLM/InternLM-Math/main/assets/augment_hard.jpeg)
142
 
143
  | Description | Query |