Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
/
Goedel-Prover-V2-32B
like
60
Follow
Goedel-LM
71
Text Generation
Transformers
Safetensors
qwen3
conversational
text-generation-inference
arxiv:
2508.03613
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
4
Deploy
Use this model
main
Goedel-Prover-V2-32B
/
model-00012-of-00014.safetensors
Commit History
Upload folder using huggingface_hub
aa53dd1
verified
zrrr
commited on
Jul 14