Text Generation
• Updated • 110
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 13k
• 152
Viewer
• Updated • 117M • 201
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 2.68k
• 252
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 10.6k
• 491
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 16
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 90
• 2
Viewer
• Updated • 395k • 17
• 1
Viewer
• Updated • 6.2M • 148
• 3
Viewer
• Updated • 262k • 52
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 31.7k
• 356
Viewer
• Updated • 860k • 47.4k
• 593
Viewer
• Updated • 8.48k • 8.16k
• 47
Viewer
• Updated • 10.8k • 543
• 58
Viewer
• Updated • 48.3M • 29.4k
• 375
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 80
• 31
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 438
• 16
Viewer
• Updated • 450k • 46.9k
• 776
Viewer
• Updated • 516k • 647
• 77
Preview
• Updated • 10.6k
• 111
Preview
• Updated • 219
• 40
Viewer
• Updated • 224k • 16
• 1
Viewer
• Updated • 224k • 54
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 8.98k
• 238
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 12.3k
• 185
Viewer
• Updated • 5.68M • 19.5k
• 467
Viewer
• Updated • 7.5k • 357
• 19
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 345
• 16
Viewer
• Updated • 9k • 4.42k
• 47
Viewer
• Updated • 104k • 355
• 60
Viewer
• Updated • 181M • 21.7k
• 330
nvidia/OpenMathInstruct-2
Viewer
• Updated • 22M • 114k
• 247