{"id":"4cd94924-4d52-4588-a042-9d4cc2078ab1","slug":"hf-model-khanh2023-goedel-code-prover-8b-mlx-group-size64-quant-predicate-mixed-4-6-1iosgkh-22","name":"Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6","description":"Hugging Face model khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6. Task: text generation. Library: mlx. 23 downloads.","capabilities":["mlx","safetensors","qwen3","lean4","theorem-proving","verification","code-verification","text-generation","conversational","en","base_model:Goedel-LM/Goedel-Code-Prover-8B","base_model:quantized:Goedel-LM/Goedel-Code-Prover-8B","license:apache-2.0","4-bit"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:22.846Z"}