Models and datasets used in the winning solution to the AIMO 1st Progress Prize
![Project-Numina's profile picture](https://cdn-avatars.huggingface.co/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png)
Project-Numina
Enterprise
non-profit
AI & ML interests
None defined yet.
Organization Card
![AI4Math](https://cdn-uploads.huggingface.co/production/uploads/661d3f3e85f70e208d6f20db/QFnxq5a0SDJ3dcLnOE1dI.png)
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.
spaces
1
models
5
![](https://cdn-avatars.huggingface.co/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png)
AI-MO/NuminaMath-72B-TIR
Text Generation
•
Updated
•
80
•
3
![](https://cdn-avatars.huggingface.co/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png)
AI-MO/NuminaMath-72B-CoT
Text Generation
•
Updated
•
3
•
3
![](https://cdn-avatars.huggingface.co/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png)
AI-MO/NuminaMath-7B-CoT
Text Generation
•
Updated
•
42
•
8
![](https://cdn-avatars.huggingface.co/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png)
AI-MO/NuminaMath-7B-TIR
Text Generation
•
Updated
•
2k
•
252
![](https://cdn-avatars.huggingface.co/v1/production/uploads/661d3f3e85f70e208d6f20db/kaXbnZDekN1gPzmRG_aFV.png)
AI-MO/NuminaMath-7B-TIR-GPTQ
Text Generation
•
Updated
•
323
•
2
datasets
6
AI-MO/NuminaMath-TIR
Viewer
•
Updated
•
72.5k
•
23
•
18
AI-MO/NuminaMath-CoT
Viewer
•
Updated
•
860k
•
54
•
37
AI-MO/aimo-validation-amc
Viewer
•
Updated
•
83
•
128
AI-MO/aimo-validation-aime
Viewer
•
Updated
•
90
•
19
•
2
AI-MO/aimo-validation-math-level-4
Viewer
•
Updated
•
754
•
5
•
1
AI-MO/aimo-validation-math-level-5
Viewer
•
Updated
•
721
•
34
•
1