mradermacher/Kimina-Prover-Distill-8B-GGUF download history

mradermacher/Kimina-Prover-Distill-8B-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 218 times (7 in the last 7 days), and 7,613 times in total.

It ranks #129,787 on the Hub by monthly downloads.

It has 1 likes.

It is a quantization of AI-MO/Kimina-Prover-Distill-8B.

Open mradermacher/Kimina-Prover-Distill-8B-GGUF on Hugging Face