mradermacher/Kimina-Prover-72B-i1-GGUF download history
mradermacher/Kimina-Prover-72B-i1-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 1,057 times (332 in the last 7 days), and 3,137 times in total.
It ranks #36,794 on the Hub by monthly downloads.
It has 0 likes.
It is a quantization of AI-MO/Kimina-Prover-72B.