Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
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
Jul 19
•
860k
•
3.18k
•
204
meta-math/MetaMathQA
Viewer
•
Updated
Dec 21, 2023
•
395k
•
4.12k
•
324
llllvvuu/AIPS_inequalities
Viewer
•
Updated
Jul 11
•
383k
•
91
•
1
TIGER-Lab/MathInstruct
Viewer
•
Updated
May 15
•
262k
•
1.35k
•
247
XinyaoHu/AMPS_mathematica
Viewer
•
Updated
Jul 15
•
4.83M
•
49
•
1
XinyaoHu/AMPS_khan
Viewer
•
Updated
Jul 15
•
103k
•
55
•
1
Upvote
-
Share collection
View history
Collection guide
Browse collections