{"id":"0149e469-75cd-45cb-a5e4-df9d304fd43c","slug":"hf-model-goedel-lm-goedel-formalizer-v2-8b-ymlu6o-x","name":"Goedel-Formalizer-V2-8B","description":"Hugging Face model Goedel-LM/Goedel-Formalizer-V2-8B. 235 downloads. 6 likes.","capabilities":["safetensors","qwen3","base_model:Qwen/Qwen3-8B","base_model:finetune:Qwen/Qwen3-8B","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":39,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:03.609Z"}