mlx-community/Goedel-Prover-V2-32B-8bit download history

mlx-community/Goedel-Prover-V2-32B-8bit is a 32.8B-parameter text generation model by mlx-community. In the last 30 days it was downloaded 56 times (12 in the last 7 days), and 233 times in total.

It ranks #242,755 on the Hub by monthly downloads and #65,092 among text generation models.

It has 0 likes.

It is a quantization of Goedel-LM/Goedel-Prover-V2-32B.

Open mlx-community/Goedel-Prover-V2-32B-8bit on Hugging Face