khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6 download history

khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6 is an 8.2B-parameter text generation model by khanh2023. In the last 30 days it was downloaded 24 times (2 in the last 7 days), and 292 times in total.

It ranks #359,550 on the Hub by monthly downloads and #102,076 among text generation models.

It has 0 likes.

It is a quantization of Goedel-LM/Goedel-Code-Prover-8B.

Open khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6 on Hugging Face