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 • 2.96k • • 12
AI-MO/Kimina-Prover-Preview-Distill-7B

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

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

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

Viewer • Updated Jul 13, 2025 • 200 • 199 • 12