Kimina-Prover-RL
• 17
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Papers
View all Papers 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
-
project-numina/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 584 • • 12 -
project-numina/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 196 • • 36 -
project-numina/minif2f_test
Viewer • Updated • 244 • 412 • 9 -
project-numina/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 133 • • 21
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
-
project-numina/Kimina-Prover-Preview-Distill-1.5B
Text Generation • 2B • Updated • 584 • • 12 -
project-numina/Kimina-Prover-Preview-Distill-7B
Text Generation • 8B • Updated • 196 • • 36 -
project-numina/minif2f_test
Viewer • Updated • 244 • 412 • 9 -
project-numina/Kimina-Autoformalizer-7B
Text Generation • 8B • Updated • 133 • • 21
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