Kimina-Prover-RL
•
11
Project-Numina
Team
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.
models
14
AI-MO/Kimina-Prover-RL-1.7B
2B
•
Updated
•
75
•
7
AI-MO/Kimina-Prover-RL-0.6B
0.8B
•
Updated
•
285
•
4
AI-MO/Kimina-Prover-Distill-0.6B
Text Generation
•
0.8B
•
Updated
•
127
•
1
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation
•
2B
•
Updated
•
746
•
•
8
AI-MO/Kimina-Prover-Distill-8B
Text Generation
•
8B
•
Updated
•
665
•
•
9
AI-MO/Kimina-Prover-72B
Text Generation
•
73B
•
Updated
•
357k
•
•
31
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation
•
8B
•
Updated
•
827
•
•
36
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation
•
2B
•
Updated
•
21
•
10
AI-MO/Kimina-Autoformalizer-7B
Text Generation
•
8B
•
Updated
•
353
•
•
16
AI-MO/NuminaMath-7B-TIR
Text Generation
•
7B
•
Updated
•
38
•
348
datasets
14
AI-MO/olympiads-ref-base
Viewer
•
Updated
•
13.1k
•
67
AI-MO/olympiads-ref
Viewer
•
Updated
•
13.1k
•
1.38k
AI-MO/Kimina-Prover-Promptset
Viewer
•
Updated
•
24.4k
•
99
•
1
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
•
104k
•
586
•
45
AI-MO/GeometryLeanBench
Viewer
•
Updated
•
122
•
33
AI-MO/CombiBench
Viewer
•
Updated
•
200
•
129
•
10
AI-MO/minif2f_test
Viewer
•
Updated
•
244
•
408
•
6
AI-MO/aimo-validation-amc
Viewer
•
Updated
•
83
•
1.09k
•
16
AI-MO/aimo-validation-aime
Viewer
•
Updated
•
90
•
10.2k
•
58
AI-MO/NuminaMath-1.5
Viewer
•
Updated
•
896k
•
3.5k
•
161