AI-MO/Kimina-Prover-RL-1.7B download history
AI-MO/Kimina-Prover-RL-1.7B is a 2.0B-parameter model model by AI-MO. In the last 30 days it was downloaded 292 times (31 in the last 7 days), and 19,726 times in total.
It ranks #107,461 on the Hub by monthly downloads.
It has 11 likes.
It is a fine-tune of AI-MO/Kimina-Prover-Distill-1.7B.
2 models build on Kimina-Prover-RL-1.7B: 2 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 1,099 times in the last 30 days. See the Kimina-Prover-RL-1.7B galaxy.
Most downloaded derivatives
- mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF (quantized), 497 downloads in 30 days
- mradermacher/Kimina-Prover-RL-1.7B-GGUF (quantized), 310 downloads in 30 days