Tonic
's Collections
Maths
updated
hywu/Camelidae-8x7B
Text Generation
•
Updated
•
2.9k
•
14
deepseek-ai/deepseek-math-7b-instruct
Text Generation
•
Updated
•
18.4k
•
117
Viewer
•
Updated
•
117M
•
720
•
1
nvidia/OpenMathInstruct-1
Viewer
•
Updated
•
6.08M
•
645
•
224
microsoft/orca-math-word-problems-200k
Viewer
•
Updated
•
200k
•
2.19k
•
443
agicorp/orca-math-word-problems-200k
Viewer
•
Updated
•
200k
•
80
•
1
agicorp/MetaMath_DPO_FewShot
Viewer
•
Updated
•
395k
•
124
•
2
Viewer
•
Updated
•
395k
•
58
•
1
Viewer
•
Updated
•
6.2M
•
176
•
3
Viewer
•
Updated
•
262k
•
58
open-web-math/open-web-math
Viewer
•
Updated
•
6.32M
•
12.1k
•
304
Viewer
•
Updated
•
860k
•
8.11k
•
421
Viewer
•
Updated
•
8.48k
•
1.69k
•
21
Viewer
•
Updated
•
10.8k
•
361
•
51
Viewer
•
Updated
•
48.3M
•
10.5k
•
292
Goedel-LM/Goedel-Prover-SFT
Updated
•
2.97k
•
24
Goedel-LM/Lean-workbook-proofs
Viewer
•
Updated
•
29.8k
•
242
•
5
Viewer
•
Updated
•
450k
•
53.3k
•
493
Viewer
•
Updated
•
516k
•
2.27k
•
72
Viewer
•
Updated
•
20k
•
426
•
79
Preview
•
Updated
•
91
•
37
Viewer
•
Updated
•
224k
•
45
•
1
Viewer
•
Updated
•
224k
•
89
•
1
SynthLabsAI/Big-Math-RL-Verified
Viewer
•
Updated
•
251k
•
5.6k
•
149