AI-MO/Kimina-Prover-72B download history
AI-MO/Kimina-Prover-72B is a 72.7B-parameter text generation model by AI-MO. In the last 30 days it was downloaded 64 times (29 in the last 7 days), and 652,896 times in total.
It ranks #230,146 on the Hub by monthly downloads and #60,937 among text generation models.
It has 35 likes.
It is a fine-tune of Qwen/Qwen2.5-72B.
4 models build on Kimina-Prover-72B: 4 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 2,049 times in the last 30 days. See the Kimina-Prover-72B galaxy.
Most downloaded derivatives
- mradermacher/Kimina-Prover-72B-i1-GGUF (quantized), 1K downloads in 30 days
- gabriellarson/Kimina-Prover-72B-GGUF (quantized), 619 downloads in 30 days
- DevQuasar/AI-MO.Kimina-Prover-72B-GGUF (quantized), 232 downloads in 30 days
- mradermacher/Kimina-Prover-72B-GGUF (quantized), 93 downloads in 30 days