Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
•
46
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.
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
-
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation • 2B • Updated • 69.7k • • 7 -
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 3.28k • • 7 -
AI-MO/Kimina-Prover-72B
Text Generation • 73B • Updated • 336 • • 25 -
AI-MO/NuminaMath-LEAN
Viewer • Updated • 104k • 265 • 24
State-of-the-Art Models for Formal Mathematical Reasoning
-
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 3.11k • 10 -
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 2.02k • • 36 -
AI-MO/minif2f_test
Viewer • Updated • 244 • 756 • 6 -
AI-MO/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 1.24k • • 13
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
-
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation • 2B • Updated • 69.7k • • 7 -
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 3.28k • • 7 -
AI-MO/Kimina-Prover-72B
Text Generation • 73B • Updated • 336 • • 25 -
AI-MO/NuminaMath-LEAN
Viewer • Updated • 104k • 265 • 24
State-of-the-Art Models for Formal Mathematical Reasoning
-
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 3.11k • 10 -
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 2.02k • • 36 -
AI-MO/minif2f_test
Viewer • Updated • 244 • 756 • 6 -
AI-MO/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 1.24k • • 13
models
11
AI-MO/Kimina-Prover-Distill-1.7B
Text Generation
•
2B
•
Updated
•
69.7k
•
•
7
AI-MO/Kimina-Prover-Distill-8B
Text Generation
•
8B
•
Updated
•
3.28k
•
•
7
AI-MO/Kimina-Prover-72B
Text Generation
•
73B
•
Updated
•
336
•
•
25
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation
•
8B
•
Updated
•
2.02k
•
•
36
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation
•
2B
•
Updated
•
3.11k
•
10
AI-MO/Kimina-Autoformalizer-7B
Text Generation
•
8B
•
Updated
•
1.24k
•
•
13
AI-MO/NuminaMath-7B-TIR
Text Generation
•
7B
•
Updated
•
1.08k
•
346
AI-MO/NuminaMath-72B-TIR
Text Generation
•
73B
•
Updated
•
6
•
9
AI-MO/NuminaMath-72B-CoT
Text Generation
•
73B
•
Updated
•
7
•
4
AI-MO/NuminaMath-7B-CoT
Text Generation
•
7B
•
Updated
•
967
•
23
datasets
10
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
•
104k
•
265
•
24
AI-MO/CombiBench
Viewer
•
Updated
•
200
•
227
•
9
AI-MO/minif2f_test
Viewer
•
Updated
•
244
•
756
•
6
AI-MO/aimo-validation-amc
Viewer
•
Updated
•
83
•
3.23k
•
16
AI-MO/aimo-validation-aime
Viewer
•
Updated
•
90
•
8.79k
•
51
AI-MO/NuminaMath-1.5
Viewer
•
Updated
•
896k
•
3.81k
•
153
AI-MO/NuminaMath-TIR
Viewer
•
Updated
•
72.5k
•
3.52k
•
137
AI-MO/NuminaMath-CoT
Viewer
•
Updated
•
860k
•
3.77k
•
469
AI-MO/aimo-validation-math-level-4
Viewer
•
Updated
•
754
•
63
•
3
AI-MO/aimo-validation-math-level-5
Viewer
•
Updated
•
721
•
313
•
10