Text Generation
• Updated • 1.12k
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 7.45k
• 152
Viewer
• Updated • 117M • 1.46k
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 4.07k
• 253
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 8.9k
• 481
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 52
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 84
• 2
Viewer
• Updated • 395k • 165
• 1
Viewer
• Updated • 6.2M • 232
• 3
Viewer
• Updated • 262k • 41
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 44.6k
• 342
Viewer
• Updated • 860k • 62.6k
• 579
Viewer
• Updated • 8.48k • 6.63k
• 45
Viewer
• Updated • 10.8k • 623
• 58
Viewer
• Updated • 48.3M • 40.3k
• 362
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 436
• 30
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 353
• 16
Viewer
• Updated • 450k • 41.3k
• 751
Viewer
• Updated • 516k • 5.63k
• 76
Viewer
• Updated • 20k • 8.21k
• 108
Preview
• Updated • 414
• 39
Viewer
• Updated • 224k • 16
• 1
Viewer
• Updated • 224k • 31
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 39.4k
• 228
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 11.2k
• 175
Viewer
• Updated • 5.68M • 14.1k
• 463
Viewer
• Updated • 7.5k • 484
• 19
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 430
• 16
Viewer
• Updated • 9k • 7.05k
• 46
Viewer
• Updated • 104k • 621
• 57
Viewer
• Updated • 181M • 50.2k
• 307
nvidia/OpenMathInstruct-2
Viewer
• Updated • 22M • 55.6k
• 243