Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
math-ai
Activity Feed
Follow
46
AI & ML interests
reasoning
Recent Activity
yifAI
updated
a dataset
10 days ago
math-ai/StackMathQA
yifAI
updated
a dataset
10 days ago
math-ai/AutoMathText
yifAI
authored
a paper
17 days ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
View all activity
Team members
2
math-ai
's datasets
10
Sort: Recently updated
math-ai/StackMathQA
Viewer
•
Updated
10 days ago
•
6.2M
•
688
•
89
math-ai/AutoMathText
Viewer
•
Updated
10 days ago
•
7.89M
•
66.3k
•
177
math-ai/olympiadbench
Viewer
•
Updated
May 7
•
674
•
180
math-ai/TemplateGSM
Viewer
•
Updated
Mar 8
•
14.5M
•
708
•
16
math-ai/aime25
Viewer
•
Updated
Feb 17
•
30
•
5.66k
•
4
math-ai/amc23
Viewer
•
Updated
Feb 16
•
40
•
1.53k
•
9
math-ai/minervamath
Viewer
•
Updated
Feb 15
•
272
•
2.26k
•
6
math-ai/math500
Viewer
•
Updated
Feb 12
•
500
•
149
•
1
math-ai/gpqa
Viewer
•
Updated
Feb 12
•
198
•
1.28k
math-ai/aime24
Viewer
•
Updated
Feb 12
•
30
•
1.61k
•
4