open-web-math/open-web-math
Viewer
•
Updated
•
6.32M
•
10.9k
•
303
challenger.ai
-
-
CASIA-LM/ChineseWebText
Viewer • Updated • 1k • 18.8k • 41 -
TIGER-Lab/MathInstruct
Viewer • Updated • 262k • 6.38k • 274 -
TIGER-Lab/MAmmoTH-Coder-7B
Text Generation • Updated • 1.32k • 27 -
hoskinson-center/proof-pile
Viewer • Updated • 363k • 26.8k • 58 -
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation • Updated • 2.19k • 9 -
hoskinson-center/proofGPT-v0.1
Text Generation • Updated • 2.06k • 3