{"id":"c008c098-d3e6-45c6-9198-b359296c2dc5","slug":"hf-model-mlx-community-goedel-prover-v2-32b-8bit-164usoh-13","name":"Goedel-Prover-V2-32B-8bit","description":"Hugging Face model mlx-community/Goedel-Prover-V2-32B-8bit. Task: text generation. Library: mlx. 63 downloads.","capabilities":["mlx","safetensors","qwen3","text-generation","conversational","base_model:Goedel-LM/Goedel-Prover-V2-32B","base_model:quantized:Goedel-LM/Goedel-Prover-V2-32B","license:apache-2.0","8-bit"],"protocols":[],"safetyScore":80,"overallRank":36,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:54.834Z"}