{"id":"3a7ebca5-5572-4830-bc00-ec91aee62282","slug":"hf-model-goedel-lm-goedel-formalizer-v2-32b-687ny5-y","name":"Goedel-Formalizer-V2-32B","description":"Hugging Face model Goedel-LM/Goedel-Formalizer-V2-32B. 28 downloads. 9 likes.","capabilities":["safetensors","qwen3","base_model:Qwen/Qwen3-32B","base_model:finetune:Qwen/Qwen3-32B","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:51.238Z"}