Text Generation
• Updated • 177
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 10.3k
• 156
Viewer
• Updated • 117M • 824
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 7.7k
• 254
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 25.7k
• 498
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 25
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 60
• 2
Viewer
• Updated • 395k • 67
• 1
Viewer
• Updated • 6.2M • 182
• 3
Viewer
• Updated • 262k • 37
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 37.3k
• 363
Viewer
• Updated • 860k • 280k
• 603
Viewer
• Updated • 8.48k • 46.6k
• 47
Viewer
• Updated • 10.8k • 655
• 58
Viewer
• Updated • 48.3M • 40.3k
• 383
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 232
• 32
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 1.17k
• 16
Viewer
• Updated • 450k • 164k
• 803
Viewer
• Updated • 516k • 4.13k
• 77
Preview
• Updated • 22.9k
• 114
Preview
• Updated • 130
• 40
Viewer
• Updated • 224k • 45
• 1
Viewer
• Updated • 224k • 60
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 4.81k
• 243
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 14.5k
• 190
Viewer
• Updated • 5.68M • 61.3k
• 476
Viewer
• Updated • 7.5k • 175
• 20
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 122
• 16
Viewer
• Updated • 9k • 6.16k
• 47
Viewer
• Updated • 104k • 2.38k
• 62
Viewer
• Updated • 181M • 33.9k
• 349
nvidia/OpenMathInstruct-2
Viewer
• Updated • 22M • 122k
• 255