AI-MO/Kimina-Prover-Distill-0.6B download history

AI-MO/Kimina-Prover-Distill-0.6B is a 752M-parameter text generation model by AI-MO. In the last 30 days it was downloaded 710 times (275 in the last 7 days), and 9,161 times in total.

It ranks #53,875 on the Hub by monthly downloads and #12,947 among text generation models.

It has 3 likes.

It is a fine-tune of Qwen/Qwen3-0.6B.

6 models build on Kimina-Prover-Distill-0.6B: 5 quantized, 1 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 5,365 times in the last 30 days. See the Kimina-Prover-Distill-0.6B galaxy.

Most downloaded derivatives

Open AI-MO/Kimina-Prover-Distill-0.6B on Hugging Face