{"id":"04adb479-a1c6-4582-9634-ae9e40c2e37d","slug":"hf-model-mradermacher-gar-goedel-prover-v2-gguf-l9o68g-12","name":"GAR_Goedel-Prover-V2-GGUF","description":"Hugging Face model mradermacher/GAR_Goedel-Prover-V2-GGUF. Library: transformers. 275 downloads.","capabilities":["transformers","gguf","en","base_model:RickyDeSkywalker/GAR_Goedel-Prover-V2","base_model:quantized:RickyDeSkywalker/GAR_Goedel-Prover-V2","license:mit","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":39.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:54.438Z"}