mradermacher/Goedel-Prover-V2-32B-i1-GGUF download history

mradermacher/Goedel-Prover-V2-32B-i1-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 1,016 times (126 in the last 7 days), and 5,036 times in total.

It ranks #38,236 on the Hub by monthly downloads.

It has 2 likes.

It is a quantization of Goedel-LM/Goedel-Prover-V2-32B.

Open mradermacher/Goedel-Prover-V2-32B-i1-GGUF on Hugging Face