Text Generation
•
Updated
•
1.6k
•
15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
•
Updated
•
4.61k
•
146
Viewer
•
Updated
•
117M
•
1.05k
•
4
nvidia/OpenMathInstruct-1
Viewer
•
Updated
•
6.08M
•
4.63k
•
243
microsoft/orca-math-word-problems-200k
Viewer
•
Updated
•
200k
•
8.51k
•
466
agicorp/orca-math-word-problems-200k
Viewer
•
Updated
•
200k
•
19
•
1
agicorp/MetaMath_DPO_FewShot
Viewer
•
Updated
•
395k
•
100
•
2
Viewer
•
Updated
•
395k
•
59
•
1
Viewer
•
Updated
•
6.2M
•
192
•
3
Viewer
•
Updated
•
262k
•
35
open-web-math/open-web-math
Viewer
•
Updated
•
6.32M
•
9.67k
•
323
Viewer
•
Updated
•
860k
•
12.1k
•
518
Viewer
•
Updated
•
8.48k
•
3.43k
•
36
Viewer
•
Updated
•
10.8k
•
551
•
58
Viewer
•
Updated
•
48.3M
•
11.3k
•
344
Goedel-LM/Goedel-Prover-SFT
7B
•
Updated
•
54
•
28
Goedel-LM/Lean-workbook-proofs
Viewer
•
Updated
•
29.8k
•
399
•
14
Viewer
•
Updated
•
450k
•
12.6k
•
687
Viewer
•
Updated
•
516k
•
515
•
76
Viewer
•
Updated
•
20k
•
970
•
96
Preview
•
Updated
•
125
•
38
Viewer
•
Updated
•
224k
•
21
•
1
Viewer
•
Updated
•
224k
•
53
•
1
SynthLabsAI/Big-Math-RL-Verified
Viewer
•
Updated
•
251k
•
5.13k
•
213
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
•
Updated
•
1.79M
•
6.92k
•
132
Viewer
•
Updated
•
5.68M
•
16k
•
390
Viewer
•
Updated
•
7.5k
•
118
•
18
a-m-team/AM-Math-Difficulty-RL
Viewer
•
Updated
•
235k
•
238
•
16
Viewer
•
Updated
•
9k
•
3.23k
•
40
Viewer
•
Updated
•
104k
•
663
•
51