Maths
updated
Text Generation
• Updated • 1.87k
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated • 9.68k
• 149
Viewer
• Updated • 117M • 512
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated • 6.08M • 2.46k
• 250
microsoft/orca-math-word-problems-200k
Viewer
• Updated • 200k • 10.3k
• 479
agicorp/orca-math-word-problems-200k
Viewer
• Updated • 200k • 4
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated • 395k • 27
• 2
Viewer
• Updated • 395k • 42
• 1
Viewer
• Updated • 6.2M • 256
• 3
Viewer
• Updated • 262k • 26
open-web-math/open-web-math
Viewer
• Updated • 6.32M • 16.8k
• 332
Viewer
• Updated • 860k • 32.6k
• 555
Viewer
• Updated • 8.48k • 3.8k
• 42
Viewer
• Updated • 10.8k • 205
• 58
Viewer
• Updated • 48.3M • 14.6k
• 358
Goedel-LM/Goedel-Prover-SFT
7B • Updated • 1k
• 28
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated • 29.8k • 2.13k
• 16
Viewer
• Updated • 450k • 13.7k
• 727
Viewer
• Updated • 516k • 8.17k
• 76
Viewer
• Updated • 20k • 7.45k
• 106
Preview
• Updated • 548
• 39
Viewer
• Updated • 224k • 9
• 1
Viewer
• Updated • 224k • 20
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated • 251k • 5.04k
• 226
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated • 1.79M • 9.69k
• 164
Viewer
• Updated • 5.68M • 20.3k
• 452
Viewer
• Updated • 7.5k • 339
• 19
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated • 235k • 276
• 16
Viewer
• Updated • 9k • 5.83k
• 43
Viewer
• Updated • 104k • 1.21k
• 56
Viewer
• Updated • 181M • 8.8k
• 265
nvidia/OpenMathInstruct-2
Viewer
• Updated • 22M • 23.1k
• 236