Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
AI-MO
's Collections
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
13
+3
AI-MO/NuminaMath-7B-TIR
Text Generation
•
Updated
Aug 14, 2024
•
9.66k
•
340
AI-MO/NuminaMath-7B-TIR-GPTQ
Text Generation
•
Updated
Jul 9, 2024
•
637
•
7
AI-MO/aimo-validation-aime
Viewer
•
Updated
Jul 10, 2024
•
90
•
8.09k
•
44
AI-MO/aimo-validation-amc
Viewer
•
Updated
Jul 10, 2024
•
83
•
2.66k
•
14
AI-MO/aimo-validation-math-level-5
Viewer
•
Updated
Jul 10, 2024
•
721
•
294
•
10
AI-MO/aimo-validation-math-level-4
Viewer
•
Updated
Jul 10, 2024
•
754
•
73
•
3
Upvote
13
+9
Share collection
View history
Collection guide
Browse collections