Hugging Face model: mlx-community/Goedel-Prover-V2-32B-8bit
Author: mlx-community
Created: 2026-01-26 22:18:33
Last modified: 2026-01-26 23:23:36
Pipeline: text-generation
Library: mlx
Likes: 0 | Downloads: 27
Tags: 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, region:us
Base model relation: quantized
Base models: id: Goedel-LM/Goedel-Prover-V2-32B
Card metadata:
base_model: Goedel-LM/Goedel-Prover-V2-32B
license: apache-2.0
pipeline_tag: text-generation
library_name: mlx
tags: mlx