QuantFactory/math-shepherd-mistral-7b-rl-GGUF

This is quantized version of peiyi9979/math-shepherd-mistral-7b-rl created using llama.cpp

Original Model Card

Mistral-7b-MetaMATH with step-by-step PPO in Math-Shepherd.

Base model: mistral-7b-sft.

PRM: 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.