{"id":"e2a1023d-e3ef-440c-a767-eda6a3fdf00a","slug":"hf-model-mradermacher-goedel-formalizer-32b-sonnetannotated-gguf-116qool-1j","name":"Goedel-Formalizer-32B-SonnetAnnotated-GGUF","description":"Hugging Face model mradermacher/Goedel-Formalizer-32B-SonnetAnnotated-GGUF. Library: transformers. 264 downloads.","capabilities":["transformers","gguf","en","base_model:Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated","base_model:quantized:Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated","license:mit","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":39.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:55.965Z"}