{"id":"35cc1596-d566-4806-940c-6f1db2458b81","slug":"hf-model-mradermacher-goedel-statement-formalizer-32b-sonnetannotated-gguf-1picguv-1t","name":"Goedel-Statement-Formalizer-32B-SonnetAnnotated-GGUF","description":"Hugging Face model mradermacher/Goedel-Statement-Formalizer-32B-SonnetAnnotated-GGUF. Library: transformers. 336 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":40,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:46.329Z"}