{"id":"9d08c8f2-3251-4e9c-8703-8e530a899f63","slug":"hf-model-mradermacher-goedel-formalizer-32b-leanworkbookannotated-gguf-dn0i7g-1p","name":"Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF","description":"Hugging Face model mradermacher/Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF. Library: transformers. 456 downloads.","capabilities":["transformers","gguf","en","base_model:Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated","base_model:quantized:Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated","license:mit","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":41,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:38.085Z"}