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

AI-MO/Kimina-Prover-Distill-8B is an 8.2B-parameter text generation model by AI-MO. In the last 30 days it was downloaded 701 times (80 in the last 7 days), and 44,206 times in total.

It ranks #54,484 on the Hub by monthly downloads and #13,084 among text generation models.

It has 7 likes.

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

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

Most downloaded derivatives

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