Model: AI-MO/Kimina-Prover-RL-1.7B
Author: AI-MO
Tags: safetensors, qwen3, base_model:AI-MO/Kimina-Prover-Distill-1.7B, base_model:finetune:AI-MO/Kimina-Prover-Distill-1.7B, license:apache-2.0, region:us
Base models (finetune): id: AI-MO/Kimina-Prover-Distill-1.7B
Card metadata: license: apache-2.0
base_model: AI-MO/Kimina-Prover-Distill-1.7B
Likes: 9 | All-time downloads: 8419
Created: 2025-08-04 14:48:36