Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
mlx-community
/
Goedel-Prover-V2-32B-8bit
like
0
Follow
MLX Community
8.57k
Text Generation
MLX
Safetensors
qwen3
conversational
8-bit precision
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Use this model
main
Goedel-Prover-V2-32B-8bit
34.8 GB
1 contributor
History:
3 commits
abalogh
Update README.md
93f8a82
verified
12 days ago
.gitattributes
1.57 kB
Add files using upload-large-folder tool
12 days ago
README.md
887 Bytes
Update README.md
12 days ago
chat_template.jinja
4.17 kB
Add files using upload-large-folder tool
12 days ago
config.json
992 Bytes
Add files using upload-large-folder tool
12 days ago
generation_config.json
143 Bytes
Add files using upload-large-folder tool
12 days ago
model-00001-of-00007.safetensors
5.35 GB
xet
Add files using upload-large-folder tool
12 days ago
model-00002-of-00007.safetensors
5.36 GB
xet
Add files using upload-large-folder tool
12 days ago
model-00003-of-00007.safetensors
5.37 GB
xet
Add files using upload-large-folder tool
12 days ago
model-00004-of-00007.safetensors
5.33 GB
xet
Add files using upload-large-folder tool
12 days ago
model-00005-of-00007.safetensors
5.36 GB
xet
Add files using upload-large-folder tool
12 days ago
model-00006-of-00007.safetensors
5.37 GB
xet
Add files using upload-large-folder tool
12 days ago
model-00007-of-00007.safetensors
2.67 GB
xet
Add files using upload-large-folder tool
12 days ago
model.safetensors.index.json
138 kB
Add files using upload-large-folder tool
12 days ago
tokenizer.json
11.4 MB
xet
Add files using upload-large-folder tool
12 days ago
tokenizer_config.json
730 Bytes
Add files using upload-large-folder tool
12 days ago
