Text Generation
• Updated • 180
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 2.91k
• 167
Viewer
• Updated • 117M • 128
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 3.53k
• 263
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 43.3k
• 518
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 24
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 71
• 2
Viewer
• Updated • 395k • 48
• 1
Viewer
• Updated • 6.2M • 59
• 3
Viewer
• Updated • 262k • 27
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 31.9k
• 373
project-numina/NuminaMath-CoT
Viewer
• Updated • 860k • 157k
• 622
Viewer
• Updated • 8.48k • 21.4k
• 51
Viewer
• Updated • 10.8k • 1.05k
• 59
Viewer
• Updated • 48.3M • 52.8k
• 397
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 919
• 32
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 1.33k
• 16
Viewer
• Updated • 450k • 99.6k
• 819
Viewer
• Updated • 516k • 524
• 77
Preview
• Updated • 12.1k
• 114
Preview
• Updated • 172
• 39
Viewer
• Updated • 224k • 217
• 1
Viewer
• Updated • 224k • 32
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 4.87k
• 246
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 19.1k
• 193
Viewer
• Updated • 5.68M • 73.7k
• 499
Viewer
• Updated • 7.5k • 182
• 21
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 193
• 16
Viewer
• Updated • 9k • 5.99k
• 48
project-numina/NuminaMath-LEAN
Viewer
• Updated • 104k • 2.61k
• 63
Viewer
• Updated • 181M • 25.4k
• 364
nvidia/OpenMathInstruct-2
Viewer
• Updated • 22M • 103k
• 268