Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
pkuAI4M
's Collections
CoTPost'Train
Tool Use
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
•
12k
•
516
meta-math/MetaMathQA
Viewer
•
Updated
Dec 21, 2023
•
395k
•
9.48k
•
426
llllvvuu/AIPS_inequalities
Viewer
•
Updated
Jul 11, 2024
•
383k
•
318
•
1
TIGER-Lab/MathInstruct
Viewer
•
Updated
May 15, 2024
•
262k
•
4.2k
•
295
XinyaoHu/AMPS_mathematica
Viewer
•
Updated
Jul 15, 2024
•
4.83M
•
61
•
4
XinyaoHu/AMPS_khan
Viewer
•
Updated
Jul 15, 2024
•
103k
•
52
•
2
Upvote
-
Share collection
View history
Collection guide
Browse collections
