yangzhch6/DeepInformal-DeepTheorem-DeepSeek-84k
Viewer
•
Updated
•
84.1k
•
1
DeepInformal
-
-
yangzhch6/DeepInformal-Putnam-1995-2024
Viewer • Updated • 356 • 20 -
yangzhch6/DeepInformal-test
Viewer • Updated • 405 • 6 -
yangzhch6/DeepInformal-Openr1-Math-46K-Synthetic
Viewer • Updated • 165k • 24 -
yangzhch6/DeepInformal-DeepTheorem-Synthetic
Viewer • Updated • 404k • 2 -
yangzhch6/Qwen2.5-Math-7B-16k-Think-Synthesizer
8B • Updated • 3