NikolayKozloff/Goedel-Prover-V2-8B-Q8_0-GGUF download history

NikolayKozloff/Goedel-Prover-V2-8B-Q8_0-GGUF is a text generation model by NikolayKozloff. In the last 30 days it was downloaded 37 times (3 in the last 7 days), and 274 times in total.

It ranks #285,772 on the Hub by monthly downloads and #77,057 among text generation models.

It has 1 likes.

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

Open NikolayKozloff/Goedel-Prover-V2-8B-Q8_0-GGUF on Hugging Face