Kimina Prover Preview - a AI-MO Collection

AI-MO 's Collections

Kimina Prover Preview

AIMO Progress Prize

Kimina Prover Preview

updated Apr 28, 2025

State-of-the-Art Models for Formal Mathematical Reasoning

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

Text Generation • 2B • Updated Apr 16, 2025 • 530 • 10
AI-MO/Kimina-Prover-Preview-Distill-7B

Text Generation • 8B • Updated Apr 17, 2025 • 315 • • 35
AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 730 • 8
AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16, 2025 • 1.16k • • 16
AI-MO/CombiBench

Viewer • Updated Jul 13, 2025 • 200 • 224 • 11