Text Generation
•
Updated
•
1.03k
•
15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
•
Updated
•
3.89k
•
148
Viewer
•
Updated
•
117M
•
440
•
4
nvidia/OpenMathInstruct-1
Viewer
•
Updated
•
6.08M
•
2.6k
•
249
microsoft/orca-math-word-problems-200k
Viewer
•
Updated
•
200k
•
4.85k
•
475
agicorp/orca-math-word-problems-200k
Viewer
•
Updated
•
200k
•
25
•
1
agicorp/MetaMath_DPO_FewShot
Viewer
•
Updated
•
395k
•
57
•
2
Viewer
•
Updated
•
395k
•
38
•
1
Viewer
•
Updated
•
6.2M
•
287
•
3
Viewer
•
Updated
•
262k
•
51
open-web-math/open-web-math
Viewer
•
Updated
•
6.32M
•
10.2k
•
329
Viewer
•
Updated
•
860k
•
11.5k
•
537
Viewer
•
Updated
•
8.48k
•
2.85k
•
39
Viewer
•
Updated
•
10.8k
•
512
•
58
Viewer
•
Updated
•
48.3M
•
8.29k
•
351
Goedel-LM/Goedel-Prover-SFT
7B
•
Updated
•
2.45k
•
28
Goedel-LM/Lean-workbook-proofs
Viewer
•
Updated
•
29.8k
•
271
•
16
Viewer
•
Updated
•
450k
•
10k
•
712
Viewer
•
Updated
•
516k
•
187
•
76
Viewer
•
Updated
•
20k
•
3.68k
•
98
Preview
•
Updated
•
354
•
38
Viewer
•
Updated
•
224k
•
11
•
1
Viewer
•
Updated
•
224k
•
11
•
1
SynthLabsAI/Big-Math-RL-Verified
Viewer
•
Updated
•
251k
•
6.17k
•
222
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
•
Updated
•
1.79M
•
5.29k
•
154
Viewer
•
Updated
•
5.68M
•
15k
•
442
Viewer
•
Updated
•
7.5k
•
106
•
18
a-m-team/AM-Math-Difficulty-RL
Viewer
•
Updated
•
235k
•
239
•
16
Updated
•
87
•
5
Viewer
•
Updated
•
9k
•
6.28k
•
41
Viewer
•
Updated
•
104k
•
881
•
54
Viewer
•
Updated
•
181M
•
37.4k
•
230