Upload folder using huggingface_hub

.gitattributes

@@ -33,3 +33,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+math-shepherd-mistral-7b-rl.Q4_0.gguf filter=lfs diff=lfs merge=lfs -text

README.md

@@ -0,0 +1,23 @@
+Mistral-7b-MetaMATH with step-by-step PPO in [Math-Shepherd](https://arxiv.org/pdf/2312.08935.pdf).
+
+
+Base model: [mistral-7b-sft](https://huggingface.co/peiyi9979/mistral-7b-sft).
+
+PRM: [math-shepherd-mistral-7b-prm](https://huggingface.co/peiyi9979/math-shepherd-mistral-7b-prm). 
+
+PPO training set: questions in MetaMATH [1].
+
+Pass@1:
+- GSM8K: 84.1
+- MATH:  33.0
+
+`Input`: only the math problem, without any system prompt, e.g., 
+```
+Janet\u2019s ducks lay 16 eggs per day. She eats three for breakfast every morning and bakes muffins for her friends every day with four. She sells the remainder at the farmers' market daily for $2 per fresh duck egg. How much in dollars does she make every day at the farmers' market?
+```
+`Output`: Step-by-step solutions with a special step tag `ки`, e.g.,
+```
+Step 1: Janet's ducks lay 16 eggs per day. ки\nStep 2: She eats three for breakfast every morning, so she has 16 - 3 = 13 eggs left. ки\nStep 3: She bakes muffins for her friends every day with four eggs, so she has 13 - 4 = 9 eggs left. ки\nStep 4: She sells the remainder at the farmers' market daily for $2 per fresh duck egg, so she makes 9 * $2 = $18 every day at the farmers' market. The answer is: 18 ки
+```
+
+[1] MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models.

math-shepherd-mistral-7b-rl.Q4_0.gguf

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:5a554b6eb01b29e336c47470771fe2ee9108bfcb46bba16061b2630965536ddb
+size 4108916640