Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
/
Goedel-Prover-V2-8B
like
25
Follow
Goedel-LM
81
Text Generation
Transformers
Safetensors
qwen3
conversational
text-generation-inference
arxiv:
2508.03613
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
2
Deploy
Use this model
main
Goedel-Prover-V2-8B
/
latest
Commit History
Upload folder using huggingface_hub
e7c7750
verified
Bohan22
commited on
Jul 15, 2025
Bohan22 commited on
