Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
Goedel-Code-Prover-8B-mlx-mode_mxfp8 – AI Model by khanh2023 | AlphaNeural AI
You can deploy this model and start earning money today!
khanh2023
/
Goedel-Code-Prover-8B-mlx-mode_mxfp8
like
0
mlx
safetensors
qwen3
lean4
theorem-proving
verification
code-verification
text-generation
conversational
en
Goedel-LM/Goedel-Code-Prover-8B
quantized
apache-2.0
8-bit
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
