mlx-community
/

Goedel-Prover-V2-32B-8bit

Text Generation

8-bit precision

Model card Files Files and versions

Goedel-Prover-V2-32B-8bit / tokenizer.json

Commit History

Add files using upload-large-folder tool

c65f892
verified

abalogh commited on 23 days ago