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