Tonic
's Collections
Maths
updated
hywu/Camelidae-8x7B
Text Generation
•
Updated
•
1.49k
•
15
deepseek-ai/deepseek-math-7b-instruct
Text Generation
•
Updated
•
74.1k
•
136
Viewer
•
Updated
•
117M
•
514
•
3
nvidia/OpenMathInstruct-1
Viewer
•
Updated
•
6.08M
•
2.17k
•
233
microsoft/orca-math-word-problems-200k
Viewer
•
Updated
•
200k
•
1.62k
•
458
agicorp/orca-math-word-problems-200k
Viewer
•
Updated
•
200k
•
10
•
1
agicorp/MetaMath_DPO_FewShot
Viewer
•
Updated
•
395k
•
22
•
2
Viewer
•
Updated
•
395k
•
18
•
1
Viewer
•
Updated
•
6.2M
•
78
•
3
Viewer
•
Updated
•
262k
•
7
open-web-math/open-web-math
Viewer
•
Updated
•
6.32M
•
3.38k
•
317
Viewer
•
Updated
•
860k
•
4.35k
•
484
Viewer
•
Updated
•
8.48k
•
3.86k
•
27
Viewer
•
Updated
•
10.8k
•
413
•
57
Viewer
•
Updated
•
48.3M
•
6.3k
•
331
Goedel-LM/Goedel-Prover-SFT
7B
•
Updated
•
1.88k
•
29
Goedel-LM/Lean-workbook-proofs
Viewer
•
Updated
•
29.8k
•
457
•
12
Viewer
•
Updated
•
450k
•
12.8k
•
640
Viewer
•
Updated
•
516k
•
342
•
74
Viewer
•
Updated
•
20k
•
544
•
94
Preview
•
Updated
•
92
•
38
Viewer
•
Updated
•
224k
•
7
•
1
Viewer
•
Updated
•
224k
•
10
•
1
SynthLabsAI/Big-Math-RL-Verified
Viewer
•
Updated
•
251k
•
8k
•
196
BytedTsinghua-SIA/DAPO-Math-17k
Viewer
•
Updated
•
1.79M
•
4.07k
•
92
Viewer
•
Updated
•
5.68M
•
9.13k
•
328
Viewer
•
Updated
•
7.5k
•
114
•
14
a-m-team/AM-Math-Difficulty-RL
Viewer
•
Updated
•
235k
•
344
•
16
Viewer
•
Updated
•
9k
•
2.96k
•
36
Viewer
•
Updated
•
104k
•
1.55k
•
38