AI-MO/Kimina-Prover-72B
AI-MO/Kimina-Prover-72B: Model from Hugging Face: AI-MO/Kimina-Prover-72B License: mit. external Hugging Face metadata. Scan: pending.
- License
- mit
- Scan status
- pending
- Hosting status
- external
- Upstream
- AI-MO/Kimina-Prover-72B
Open interactive artifact page