Models and datasets used in the winning solution to the AIMO 1st Progress Prize
Project-Numina
non-profit
AI & ML interests
None defined yet.
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.
models
5
AI-MO/NuminaMath-7B-TIR
Text Generation
•
Updated
•
7.31k
•
317
AI-MO/NuminaMath-72B-TIR
Text Generation
•
Updated
•
102
•
8
AI-MO/NuminaMath-72B-CoT
Text Generation
•
Updated
•
104
•
4
AI-MO/NuminaMath-7B-CoT
Text Generation
•
Updated
•
1.43k
•
12
AI-MO/NuminaMath-7B-TIR-GPTQ
Text Generation
•
Updated
•
1.78k
•
5
datasets
6
AI-MO/NuminaMath-TIR
Viewer
•
Updated
•
72.5k
•
757
•
61
AI-MO/NuminaMath-CoT
Viewer
•
Updated
•
860k
•
2.93k
•
205
AI-MO/aimo-validation-amc
Viewer
•
Updated
•
83
•
346
•
4
AI-MO/aimo-validation-aime
Viewer
•
Updated
•
90
•
403
•
9
AI-MO/aimo-validation-math-level-4
Viewer
•
Updated
•
754
•
89
•
2
AI-MO/aimo-validation-math-level-5
Viewer
•
Updated
•
721
•
529
•
6