open-web-math/open-web-math
Viewer • Updated • 6.32M • 42k • 340
challenger.ai
-
-
CASIA-LM/ChineseWebText
Viewer • Updated • 1k • 2.37k • 44 -
TIGER-Lab/MathInstruct
Viewer • Updated • 262k • 7.73k • 303 -
TIGER-Lab/MAmmoTH-Coder-7B
Text Generation • Updated • 22 • 27 -
hoskinson-center/proof-pile
Viewer • Updated • 363k • 2.18k • 67 -
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation • Updated • 1.28k • 10 -
hoskinson-center/proofGPT-v0.1
Text Generation • Updated • 1.38k • 3