hywu/Camelidae-8x7B
Text Generation
•
Updated
•
2.13k
•
14
Maths
-
-
deepseek-ai/deepseek-math-7b-instruct
Text Generation • Updated • 8.96k • 107 -
mathmadness/MathCoder
Viewer • Updated • 117M • 884 • 1 -
nvidia/OpenMathInstruct-1
Viewer • Updated • 6.08M • 483 • 222 -
microsoft/orca-math-word-problems-200k
Viewer • Updated • 200k • 1.55k • 431 -
agicorp/orca-math-word-problems-200k
Viewer • Updated • 200k • 48 • 1 -
agicorp/MetaMath_DPO_FewShot
Viewer • Updated • 395k • 77 • 2 -
agicorp/MetaMathQA
Viewer • Updated • 395k • 36 • 1 -
agicorp/StackMathQA
Viewer • Updated • 6.2M • 116 • 2 -
agicorp/MathInstruct
Viewer • Updated • 262k • 44 -
open-web-math/open-web-math
Viewer • Updated • 6.32M • 4.6k • 288 -
AI-MO/NuminaMath-CoT
Viewer • Updated • 860k • 8.76k • 348 -
Hothan/OlympiadBench
Viewer • Updated • 8.48k • 693 • 17 -
xinlai/Math-Step-DPO-10K
Viewer • Updated • 10.8k • 317 • 48 -
HuggingFaceTB/finemath
Viewer • Updated • 48.3M • 21.1k • 273 -
Goedel-LM/Goedel-Prover-SFT
Updated • 52 • 5 -
Goedel-LM/Lean-workbook-proofs
Viewer • Updated • 29.8k • 17 • 1