Kimina-Prover
Model FamilyMoonshot AIactive
Open mathematical theorem-proving model family.
- Mar 1, 2025
- —
- —
- Yes
- —
- 1
Models in this family
| Model | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|
| Kimina-Prover 7B | Kimina-Prover | — | — | Yes | — | active |
| Kimina-Prover Preview | Kimina-Prover | — | — | Yes | — | active |
Releases
Mar 2025Kimina-Prover project introducedResearch paper
Moonshot introduced the Kimina-Prover line of open models for formal theorem proving.