DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Paper • 2402.03300 • Published • 145
This model is a fine-tuned version of LiquidAI/LFM2.5-1.2B-Instruct. It has been trained using TRL.
👉 Model training codebase and sandbox implementation for RLVR: https://github.com/rparkr/lfm-coder
from transformers import pipeline
question = "Create a Python function that calculates average running speed and pace based on distance covered and time."
generator = pipeline("text-generation", model="rparkr/LFM2.5-1.2B-Instruct-Coding", device="cuda")
output = generator([{"role": "user", "content": question}], max_new_tokens=2048, return_full_text=False)[0]
print(output["generated_text"])
This model was trained with GRPO, a method introduced in DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.
It uses Reinforcement Learning with Verifiable Rewards using a Python sandbox to execute test suites from model-written code and calculate the reward based on passing tests.
Cite GRPO as:
@article{shao2024deepseekmath,
title = {{DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models}},
author = {Zhihong Shao and Peiyi Wang and Qihao Zhu and Runxin Xu and Junxiao Song and Mingchuan Zhang and Y. K. Li and Y. Wu and Daya Guo},
year = 2024,
eprint = {arXiv:2402.03300},
}
Cite TRL as:
@software{vonwerra2020trl,
title = {{TRL: Transformers Reinforcement Learning}},
author = {von Werra, Leandro and Belkada, Younes and Tunstall, Lewis and Beeching, Edward and Thrush, Tristan and Lambert, Nathan and Huang, Shengyi and Rasul, Kashif and Gallouédec, Quentin},
license = {Apache-2.0},
url = {https://github.com/huggingface/trl},
year = {2020}
}