open-web-math/open-web-math
Viewer • Updated • 6.32M • 32k • 352
challenger.ai
-
-
CASIA-LM/ChineseWebText
Viewer • Updated • 1k • 1.05k • 44 -
TIGER-Lab/MathInstruct
Viewer • Updated • 262k • 7.28k • 305 -
TIGER-Lab/MAmmoTH-Coder-7B
Text Generation • Updated • 44 • 27 -
hoskinson-center/proof-pile
Viewer • Updated • 363k • 1.47k • 68 -
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation • Updated • 261 • 10 -
hoskinson-center/proofGPT-v0.1
Text Generation • Updated • 276 • 3