Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
/
Goedel-Prover-V2-8B
like
19
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
2
Deploy
Use this model
main
Goedel-Prover-V2-8B
File size: 15 Bytes
e7c7750
1
global_step6500
