open-web-math/open-web-math
Viewer • Updated • 6.32M • 31.5k • 352
challenger.ai
-
-
CASIA-LM/ChineseWebText
Viewer • Updated • 1k • 1.09k • 44 -
TIGER-Lab/MathInstruct
Viewer • Updated • 262k • 7.03k • 305 -
TIGER-Lab/MAmmoTH-Coder-7B
Text Generation • Updated • 43 • 27 -
hoskinson-center/proof-pile
Viewer • Updated • 363k • 1.53k • 68 -
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation • Updated • 359 • 10 -
hoskinson-center/proofGPT-v0.1
Text Generation • Updated • 415 • 3