8 4 months ago

Kimina-Prover-72B is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4.

Models

View all →

Readme

No readme