yangzhch6/DeepInformal-DeepTheorem-DeepSeek-84k
Viewer
•
Updated
•
84.1k
•
7
DeepInformal
-
-
yangzhch6/DeepInformal-Putnam-1995-2024
Viewer • Updated • 356 • 19 • 1 -
yangzhch6/DeepInformal-test
Viewer • Updated • 405 • 9 -
yangzhch6/DeepInformal-Openr1-Math-46K-Synthetic
Viewer • Updated • 165k • 25 -
yangzhch6/DeepInformal-DeepTheorem-Synthetic
Viewer • Updated • 404k • 15 • 1 -
yangzhch6/Qwen2.5-Math-7B-16k-Think-Synthesizer
8B • Updated • 1