Text Generation
• Updated • 1.4k
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 8.9k
• 149
Viewer
• Updated • 117M • 535
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 3.73k
• 250
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 5.37k
• 478
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 5
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 34
• 2
Viewer
• Updated • 395k • 70
• 1
Viewer
• Updated • 6.2M • 347
• 3
Viewer
• Updated • 262k • 23
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 15.8k
• 331
Viewer
• Updated • 860k • 21.6k
• 546
Viewer
• Updated • 8.48k • 2.78k
• 42
Viewer
• Updated • 10.8k • 295
• 58
Viewer
• Updated • 48.3M • 12.6k
• 356
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 1.12k
• 28
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 319
• 16
Viewer
• Updated • 450k • 13.4k
• 715
Viewer
• Updated • 516k • 3.56k
• 76
Viewer
• Updated • 20k • 7.22k
• 104
Preview
• Updated • 348
• 39
Viewer
• Updated • 224k • 10
• 1
Viewer
• Updated • 224k • 13
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 8.72k
• 223
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 8.47k
• 160
Viewer
• Updated • 5.68M • 16k
• 451
Viewer
• Updated • 7.5k • 354
• 18
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 284
• 16
Updated • 81
• 6
Viewer
• Updated • 9k • 6.59k
• 43
Viewer
• Updated • 104k • 1.28k
• 55
Viewer
• Updated • 181M • 50.6k
• 263