Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
•
45
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Recent Activity
View all activity
Articles
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
Models and datasets used in the winning solution to the AIMO 1st Progress Prize
State-of-the-Art Models for Formal Mathematical Reasoning
-
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 2.63k • 10 -
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 8.98k • • 36 -
AI-MO/minif2f_test
Viewer • Updated • 244 • 722 • 6 -
AI-MO/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 1.3k • • 13
Datasets and models for training SOTA math LLMs. See our GitHub for training & inference code: https://github.com/project-numina/aimo-progress-prize
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
State-of-the-Art Models for Formal Mathematical Reasoning
-
AI-MO/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 2.63k • 10 -
AI-MO/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 8.98k • • 36 -
AI-MO/minif2f_test
Viewer • Updated • 244 • 722 • 6 -
AI-MO/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 1.3k • • 13
Models and datasets used in the winning solution to the AIMO 1st Progress Prize
Datasets and models for training SOTA math LLMs. See our GitHub for training & inference code: https://github.com/project-numina/aimo-progress-prize