hywu/Camelidae-8x7B
Text Generation
•
Updated
•
2.04k
•
14
Maths
-
-
deepseek-ai/deepseek-math-7b-instruct
Text Generation • Updated • 8.69k • 107 -
mathmadness/MathCoder
Viewer • Updated • 117M • 876 • 1 -
nvidia/OpenMathInstruct-1
Viewer • Updated • 6.08M • 476 • 222 -
microsoft/orca-math-word-problems-200k
Viewer • Updated • 200k • 1.48k • 431 -
agicorp/orca-math-word-problems-200k
Viewer • Updated • 200k • 49 • 1 -
agicorp/MetaMath_DPO_FewShot
Viewer • Updated • 395k • 77 • 2 -
agicorp/MetaMathQA
Viewer • Updated • 395k • 37 • 1 -
agicorp/StackMathQA
Viewer • Updated • 6.2M • 118 • 2 -
agicorp/MathInstruct
Viewer • Updated • 262k • 45 -
open-web-math/open-web-math
Viewer • Updated • 6.32M • 4.6k • 287 -
AI-MO/NuminaMath-CoT
Viewer • Updated • 860k • 8.43k • 345 -
Hothan/OlympiadBench
Viewer • Updated • 8.48k • 664 • 17 -
xinlai/Math-Step-DPO-10K
Viewer • Updated • 10.8k • 335 • 48 -
HuggingFaceTB/finemath
Viewer • Updated • 48.3M • 22k • 274 -
Goedel-LM/Goedel-Prover-SFT
Updated • 19 • 4 -
Goedel-LM/Lean-workbook-proofs
Viewer • Updated • 29.8k • 11 • 1