Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
pkuAI4M
's Collections
Informal Statements
Informal
Lean related
Informal-Formal
Math text
Informal
updated
Sep 2, 2024
Informal Datasets
Upvote
-
AI-MO/NuminaMath-CoT
Viewer
•
Updated
Nov 25, 2024
•
860k
•
3.45k
•
291
meta-math/MetaMathQA
Viewer
•
Updated
Dec 21, 2023
•
395k
•
7.36k
•
343
llllvvuu/AIPS_inequalities
Viewer
•
Updated
Jul 11, 2024
•
383k
•
50
•
1
TIGER-Lab/MathInstruct
Viewer
•
Updated
May 15, 2024
•
262k
•
2.98k
•
257
XinyaoHu/AMPS_mathematica
Viewer
•
Updated
Jul 15, 2024
•
4.83M
•
37
•
1
XinyaoHu/AMPS_khan
Viewer
•
Updated
Jul 15, 2024
•
103k
•
45
•
1
Upvote
-
Share collection
View history
Collection guide
Browse collections
