AI-MO/Kimina-Prover-Distill-8B

AI-MO/Kimina-Prover-Distill-8B: Model from Hugging Face: AI-MO/Kimina-Prover-Distill-8B License: apache-2.0. external Hugging Face metadata. Scan: pending.

License

apache-2.0

Scan status

pending

Hosting status

external

Upstream

AI-MO/Kimina-Prover-Distill-8B

Open interactive artifact page