AI-MO/Kimina-Prover-Preview-Distill-7B: Model from Hugging Face: AI-MO/Kimina-Prover-Preview-Distill-7B License: apache-2.0. external Hugging Face metadata. Scan: pending.
Open interactive artifact page