AI-MO/Kimina-Prover-RL-1.7B

AI-MO/Kimina-Prover-RL-1.7B: Model from Hugging Face: AI-MO/Kimina-Prover-RL-1.7B 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-RL-1.7B

Open interactive artifact page