AI-MO/Kimina-Prover-Preview-Distill-1.5B

AI-MO/Kimina-Prover-Preview-Distill-1.5B: Model from Hugging Face: AI-MO/Kimina-Prover-Preview-Distill-1.5B 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-Preview-Distill-1.5B

Open interactive artifact page