open-web-math/open-web-math
Viewer • Updated • 6.32M • 18.4k • 333
challenger.ai
-
-
CASIA-LM/ChineseWebText
Viewer • Updated • 1k • 1.09k • 44 -
TIGER-Lab/MathInstruct
Viewer • Updated • 262k • 11.9k • 301 -
TIGER-Lab/MAmmoTH-Coder-7B
Text Generation • Updated • 15 • 27 -
hoskinson-center/proof-pile
Viewer • Updated • 363k • 1.82k • 64 -
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation • Updated • 2.67k • 10 -
hoskinson-center/proofGPT-v0.1
Text Generation • Updated • 2.76k • 3