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