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.78k
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
/
tokenizer.json
Commit History
Add files using upload-large-folder tool
c65f892
verified
abalogh
commited on
23 days ago