Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
AI-MO
's Collections
Kimina Prover
Informal-Math
Kimina Prover Preview
AIMO Progress Prize
NuminaMath
AIMO Progress Prize
updated
Jul 19, 2024
Models and datasets used in the winning solution to the AIMO 1st Progress Prize
Upvote
14
+4
AI-MO/NuminaMath-7B-TIR
Text Generation
•
7B
•
Updated
Aug 14, 2024
•
352
•
351
AI-MO/NuminaMath-7B-TIR-GPTQ
Text Generation
•
Updated
Jul 9, 2024
•
5
•
7
AI-MO/aimo-validation-aime
Viewer
•
Updated
May 7, 2025
•
90
•
26.1k
•
69
AI-MO/aimo-validation-amc
Viewer
•
Updated
May 7, 2025
•
83
•
4.12k
•
17
AI-MO/aimo-validation-math-level-5
Viewer
•
Updated
Jul 10, 2024
•
721
•
207
•
11
AI-MO/aimo-validation-math-level-4
Viewer
•
Updated
Jul 10, 2024
•
754
•
211
•
4
Upvote
14
+10
Share collection
View history
Collection guide
Browse collections