How NuminaMath Won the 1st AIMO Progress Prize
•
119
Project-Numina
Enterprise
non-profit
AI & ML interests
None defined yet.
Recent Activity
Articles
Organization Card
Advancing open-source AI4Math
Numina is a non-profit with a mission to foster the development of human and artificial intelligence in the field of mathematics. In this organization, you can find our open-source model (Numina-Math-7B) and datasets.
Collections
3
State-of-the-Art Models for Formal Mathematical Reasoning
-
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation • Updated • 19.3k • 9 -
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation • Updated • 11.2k • 26 -
AI-MO/minif2f_test
Viewer • Updated • 244 • 416 • 2 -
AI-MO/Kimina-Autoformalizer-7B
Text Generation • Updated • 1.11k • 12
Models and datasets used in the winning solution to the AIMO 1st Progress Prize
models
8
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation
•
Updated
•
11.2k
•
26
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation
•
Updated
•
19.3k
•
9
AI-MO/Kimina-Autoformalizer-7B
Text Generation
•
Updated
•
1.11k
•
12
AI-MO/NuminaMath-7B-TIR
Text Generation
•
Updated
•
2.2k
•
341
AI-MO/NuminaMath-72B-TIR
Text Generation
•
Updated
•
16
•
9
AI-MO/NuminaMath-72B-CoT
Text Generation
•
Updated
•
10
•
4
AI-MO/NuminaMath-7B-CoT
Text Generation
•
Updated
•
1.91k
•
22
AI-MO/NuminaMath-7B-TIR-GPTQ
Text Generation
•
Updated
•
321
•
7
datasets
9
AI-MO/CombiBench
Viewer
•
Updated
•
200
•
6
•
4
AI-MO/minif2f_test
Viewer
•
Updated
•
244
•
416
•
2
AI-MO/NuminaMath-1.5
Viewer
•
Updated
•
896k
•
2.29k
•
136
AI-MO/NuminaMath-TIR
Viewer
•
Updated
•
72.5k
•
5.52k
•
127
AI-MO/NuminaMath-CoT
Viewer
•
Updated
•
860k
•
3.27k
•
445
AI-MO/aimo-validation-amc
Viewer
•
Updated
•
83
•
2.57k
•
14
AI-MO/aimo-validation-aime
Viewer
•
Updated
•
90
•
7.78k
•
45
AI-MO/aimo-validation-math-level-4
Viewer
•
Updated
•
754
•
55
•
3
AI-MO/aimo-validation-math-level-5
Viewer
•
Updated
•
721
•
340
•
10