Text Generation
• Updated • 932
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 3.98k
• 152
Viewer
• Updated • 117M • 952
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 4.85k
• 253
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 6.79k
• 484
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 40
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 103
• 2
Viewer
• Updated • 395k • 30
• 1
Viewer
• Updated • 6.2M • 183
• 3
Viewer
• Updated • 262k • 36
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 36.2k
• 344
Viewer
• Updated • 860k • 61.5k
• 588
Viewer
• Updated • 8.48k • 5.42k
• 46
Viewer
• Updated • 10.8k • 344
• 58
Viewer
• Updated • 48.3M • 35.2k
• 364
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 360
• 30
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 366
• 16
Viewer
• Updated • 450k • 54.5k
• 759
Viewer
• Updated • 516k • 7.39k
• 76
Viewer
• Updated • 20k • 8.34k
• 108
Preview
• Updated • 212
• 39
Viewer
• Updated • 224k • 16
• 1
Viewer
• Updated • 224k • 35
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 39.1k
• 231
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 8.98k
• 177
Viewer
• Updated • 5.68M • 14.6k
• 464
Viewer
• Updated • 7.5k • 358
• 19
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 275
• 16
Viewer
• Updated • 9k • 5.8k
• 46
Viewer
• Updated • 104k • 458
• 57
Viewer
• Updated • 181M • 34.4k
• 311
nvidia/OpenMathInstruct-2
Viewer
• Updated • 22M • 74.9k
• 245