Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
AI for Math Reasoning
Enterprise
university
Activity Feed
Request to join this org
Follow
34
AI & ML interests
None defined yet.
Recent Activity
lorn666
Â
updated
a dataset
about 6 hours ago
AI4Math/IneqMath
lorn666
Â
new
activity
about 10 hours ago
AI4Math/IneqMath:
Add library_name to metadata
lupantech
Â
published
a Space
1 day ago
AI4Math/IneqMath-Leaderboard
View all activity
Team members
5
spaces
1
Running
IneqMath Leaderboard
🦀
Customize interface to judge inequalities
models
0
None public yet
datasets
3
Sort:Â Recently updated
AI4Math/IneqMath
Viewer
•
Updated
about 6 hours ago
•
1.55k
•
108
•
3
AI4Math/MathVerse
Viewer
•
Updated
27 days ago
•
4.73k
•
2k
•
57
AI4Math/MathVista
Viewer
•
Updated
Feb 11, 2024
•
6.14k
•
10k
•
155