The Artificial Index

Kimina-Prover 7B

Model

Moonshot AIFamily Kimina-Proveractive

Seven-billion-parameter open formal theorem-proving model.

Released: —
Context window: —
Modality: —
Open source: Yes
API available: —
Releases: 1

Releases

1

Jun 2025Kimina-Prover 7B releasedKimina-Prover 7BOpen weights

Moonshot published a seven-billion-parameter formal theorem-proving model.

Moonshot AI Open weightsMoonshot AI Kimina-Prover 7B