{"id":"f778b89f-6cda-4060-a199-a7d7f6e3241e","slug":"hf-model-mradermacher-awakening-goedel-v2-32b-sft-gguf-nn3lh8-19","name":"awakening-goedel-v2-32b-sft-GGUF","description":"Hugging Face model mradermacher/awakening-goedel-v2-32b-sft-GGUF. Library: transformers. 675 downloads. 1 likes.","capabilities":["transformers","gguf","lean4","theorem-proving","capability-collapse","tool-use","en","base_model:juihuichung/awakening-goedel-v2-32b-sft","base_model:quantized:juihuichung/awakening-goedel-v2-32b-sft","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":42,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:29.521Z"}