mlx-community
/

Goedel-Prover-V2-32B-8bit

Text Generation

8-bit precision

Model card Files Files and versions

Goedel-Prover-V2-32B-8bit

Commit History

Update README.md

93f8a82
verified

abalogh commited on about 1 month ago

Add files using upload-large-folder tool

c65f892
verified

abalogh commited on about 1 month ago

initial commit

104f579
verified

abalogh commited on about 1 month ago