{"id":"9ab52f4d-7994-4929-87e2-0b4c13ba8284","slug":"hf-model-nikolaykozloff-goedel-prover-v2-8b-q8-0-gguf-1q7np1m-18","name":"Goedel-Prover-V2-8B-Q8_0-GGUF","description":"Hugging Face model NikolayKozloff/Goedel-Prover-V2-8B-Q8_0-GGUF. Task: text generation. Library: transformers. 21 downloads. 1 likes.","capabilities":["transformers","gguf","llama-cpp","gguf-my-repo","text-generation","base_model:Goedel-LM/Goedel-Prover-V2-8B","base_model:quantized:Goedel-LM/Goedel-Prover-V2-8B","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:37.507Z"}