Text Generation
• Updated • 100
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 7.87k
• 155
Viewer
• Updated • 117M • 781
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 5.29k
• 252
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 13.5k
• 494
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 15
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 60
• 2
Viewer
• Updated • 395k • 18
• 1
Viewer
• Updated • 6.2M • 236
• 3
Viewer
• Updated • 262k • 46
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 33.3k
• 357
Viewer
• Updated • 860k • 82.4k
• 595
Viewer
• Updated • 8.48k • 16.8k
• 47
Viewer
• Updated • 10.8k • 426
• 58
Viewer
• Updated • 48.3M • 29.5k
• 377
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 359
• 31
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 613
• 16
Viewer
• Updated • 450k • 66.4k
• 782
Viewer
• Updated • 516k • 1.4k
• 77
Preview
• Updated • 15.9k
• 112
Preview
• Updated • 447
• 40
Viewer
• Updated • 224k • 18
• 1
Viewer
• Updated • 224k • 56
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 6.24k
• 240
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 17.5k
• 186
Viewer
• Updated • 5.68M • 42.5k
• 470
Viewer
• Updated • 7.5k • 147
• 19
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 150
• 16
Viewer
• Updated • 9k • 8.53k
• 47
Viewer
• Updated • 104k • 620
• 60
Viewer
• Updated • 181M • 21.6k
• 332
nvidia/OpenMathInstruct-2
Viewer
• Updated • 22M • 94k
• 252