hywu/Camelidae-8x7B
Text Generation
•
Updated
•
2.27k
•
14
Maths
-
-
deepseek-ai/deepseek-math-7b-instruct
Text Generation • Updated • 10.2k • 110 -
mathmadness/MathCoder
Viewer • Updated • 117M • 980 • 1 -
nvidia/OpenMathInstruct-1
Viewer • Updated • 6.08M • 473 • 222 -
microsoft/orca-math-word-problems-200k
Viewer • Updated • 200k • 1.88k • 433 -
agicorp/orca-math-word-problems-200k
Viewer • Updated • 200k • 50 • 1 -
agicorp/MetaMath_DPO_FewShot
Viewer • Updated • 395k • 83 • 2 -
agicorp/MetaMathQA
Viewer • Updated • 395k • 39 • 1 -
agicorp/StackMathQA
Viewer • Updated • 6.2M • 119 • 2 -
agicorp/MathInstruct
Viewer • Updated • 262k • 45 -
open-web-math/open-web-math
Viewer • Updated • 6.32M • 5.24k • 292 -
AI-MO/NuminaMath-CoT
Viewer • Updated • 860k • 9.85k • 360 -
Hothan/OlympiadBench
Viewer • Updated • 8.48k • 879 • 18 -
xinlai/Math-Step-DPO-10K
Viewer • Updated • 10.8k • 318 • 48 -
HuggingFaceTB/finemath
Viewer • Updated • 48.3M • 20.3k • 276 -
Goedel-LM/Goedel-Prover-SFT
Updated • 246 • 8 -
Goedel-LM/Lean-workbook-proofs
Viewer • Updated • 29.8k • 34 • 2