Text Generation
• Updated • 267
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 5.55k
• 152
Viewer
• Updated • 117M • 244
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 2.68k
• 252
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 8.17k
• 486
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 17
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 48
• 2
Viewer
• Updated • 395k • 20
• 1
Viewer
• Updated • 6.2M • 155
• 3
Viewer
• Updated • 262k • 45
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 31.5k
• 352
Viewer
• Updated • 860k • 32.9k
• 592
Viewer
• Updated • 8.48k • 4.96k
• 47
Viewer
• Updated • 10.8k • 254
• 58
Viewer
• Updated • 48.3M • 24.1k
• 369
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 206
• 31
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 457
• 16
Viewer
• Updated • 450k • 35.8k
• 763
Viewer
• Updated • 516k • 548
• 76
Viewer
• Updated • 20k • 6.95k
• 110
Preview
• Updated • 176
• 40
Viewer
• Updated • 224k • 5
• 1
Viewer
• Updated • 224k • 23
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 5.04k
• 236
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 11.9k
• 180
Viewer
• Updated • 5.68M • 18.5k
• 467
Viewer
• Updated • 7.5k • 202
• 19
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 388
• 16
Viewer
• Updated • 9k • 5.11k
• 47
Viewer
• Updated • 104k • 388
• 59
Viewer
• Updated • 181M • 24.7k
• 321
nvidia/OpenMathInstruct-2
Viewer
• Updated • 22M • 92.2k
• 247