Kimina-Prover-RL
•
15
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Recent Activity
View all activity
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 https://huggingface.co/blog/AI-MO/kimina-prover
State-of-the-Art Models for Formal Mathematical Reasoning
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