Maths
updated
Text Generation
• Updated
• 1.37k
• 15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
• Updated
• 6.43k
• 149
Viewer
• Updated
• 117M • 501
• 4
nvidia/OpenMathInstruct-1
Viewer
• Updated
• 6.08M • 4.27k
• 249
microsoft/orca-math-word-problems-200k
Viewer
• Updated
• 200k • 5.59k
• 476
agicorp/orca-math-word-problems-200k
Viewer
• Updated
• 200k • 9
• 1
agicorp/MetaMath_DPO_FewShot
Viewer
• Updated
• 395k • 50
• 2
Viewer
• Updated
• 395k • 58
• 1
Viewer
• Updated
• 6.2M • 406
• 3
Viewer
• Updated
• 262k • 41
open-web-math/open-web-math
Viewer
• Updated
• 6.32M • 12.4k
• 330
Viewer
• Updated
• 860k • 13.6k
• 540
Viewer
• Updated
• 8.48k • 2.21k
• 42
Viewer
• Updated
• 10.8k • 357
• 58
Viewer
• Updated
• 48.3M • 10.8k
• 354
Goedel-LM/Goedel-Prover-SFT
7B • Updated
• 2.59k
• 28
Goedel-LM/Lean-workbook-proofs
Viewer
• Updated
• 29.8k • 335
• 16
Viewer
• Updated
• 450k • 10.9k
• 716
Viewer
• Updated
• 516k • 240
• 76
Viewer
• Updated
• 20k • 7.72k
• 101
Preview
• Updated
• 353
• 38
Viewer
• Updated
• 224k • 15
• 1
Viewer
• Updated
• 224k • 15
• 1
SynthLabsAI/Big-Math-RL-Verified
Viewer
• Updated
• 251k • 8.46k
• 222
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
• Updated
• 1.79M • 6.43k
• 158
Viewer
• Updated
• 5.68M • 12.6k
• 448
Viewer
• Updated
• 7.5k • 313
• 18
a-m-team/AM-Math-Difficulty-RL
Viewer
• Updated
• 235k • 284
• 16
Updated
• 81
• 6
Viewer
• Updated
• 9k • 5.59k
• 42
Viewer
• Updated
• 104k • 1.14k
• 54
Viewer
• Updated
• 181M • 87.3k
• 259