{"id":"4fc67a00-75ba-48d4-bff6-cb6e81162013","slug":"hf-model-mradermacher-goedel-prover-v2-8b-lf-sft-v4-gguf-x5ajri-1b","name":"goedel-prover-v2-8b-lf-sft-v4-GGUF","description":"Hugging Face model mradermacher/goedel-prover-v2-8b-lf-sft-v4-GGUF. Library: transformers. 167 downloads.","capabilities":["transformers","gguf","en","base_model:ellietheorem/goedel-prover-v2-8b-lf-sft-v4","base_model:quantized:ellietheorem/goedel-prover-v2-8b-lf-sft-v4","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":38.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:15.852Z"}