Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
pkuAI4M
's Collections
Informal
Lean related
Informal-Formal
Math text
Informal
updated
Sep 2
Informal Datasets
Upvote
-
AI-MO/NuminaMath-CoT
Viewer
•
Updated
about 13 hours ago
•
860k
•
2.5k
•
231
meta-math/MetaMathQA
Viewer
•
Updated
Dec 21, 2023
•
395k
•
6.59k
•
329
llllvvuu/AIPS_inequalities
Viewer
•
Updated
Jul 11
•
383k
•
116
•
1
TIGER-Lab/MathInstruct
Viewer
•
Updated
May 15
•
262k
•
2.16k
•
249
XinyaoHu/AMPS_mathematica
Viewer
•
Updated
Jul 15
•
4.83M
•
56
•
1
XinyaoHu/AMPS_khan
Viewer
•
Updated
Jul 15
•
103k
•
53
•
1
Upvote
-
Share collection
View history
Collection guide
Browse collections