{"id":"0b252b37-78b4-489c-be0c-a7a9f2dbbdc4","slug":"hf-model-mradermacher-goedel-prover-v2-32b-i1-gguf-7ys9iq-15","name":"Goedel-Prover-V2-32B-i1-GGUF","description":"Hugging Face model mradermacher/Goedel-Prover-V2-32B-i1-GGUF. Library: transformers. 805 downloads. 2 likes.","capabilities":["transformers","gguf","en","base_model:Goedel-LM/Goedel-Prover-V2-32B","base_model:quantized:Goedel-LM/Goedel-Prover-V2-32B","license:apache-2.0","endpoints_compatible","imatrix","conversational"],"protocols":[],"safetyScore":80,"overallRank":42.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:26.092Z"}