DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF download history
DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF is a text generation model by DevQuasar. In the last 30 days it was downloaded 709 times (76 in the last 7 days), and 4,992 times in total.
It ranks #53,955 on the Hub by monthly downloads and #12,968 among text generation models.
It has 0 likes.
It is a quantization of Goedel-LM/Goedel-Prover-V2-32B.
Open DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF on Hugging Face