deepseek-math topic

List deepseek-math repositories
trafficstars

ZaloAI2023-Elementary-Math-Solving

25
Stars
9
Forks
Watchers

Baseline achieving 0.8 accuracy on the private test set in the ZaloAI Challenge 2023 Elementary Math Solving

xVerify

138
Stars
7
Forks
Watchers

xVerify: Efficient Answer Verifier for Reasoning Model Evaluations

ScaleQuest

68
Stars
7
Forks
68
Watchers

[ACL 2025] We introduce ScaleQuest, a scalable, novel and cost-effective data synthesis method to unleash the reasoning capability of LLMs.