AI-MO/Kimina-Prover-Preview-Distill-7B

AI-MO/Kimina-Prover-Preview-Distill-7B is a 7.6 billion parameter theorem proving model developed by Project Numina and Kimi teams. This model is a distillation of Kimina-Prover-Preview, optimized for competition-style problem solving in Lean 4. It achieves state-of-the-art results on MiniF2F-test and ranks #1 on the PutnamBench Leaderboard within its model size and compute budget. The model is specifically designed for formal reasoning and mathematical proof generation.