Hugging Face's logo

Goedel-LM
/
Goedel-Prover-V2-8B

Text Generation
Transformers
Safetensors
qwen3
conversational
text-generation-inference
Model card Files
xet
Community
2
Goedel-Prover-V2-8B / latest
Bohan22's picture
Bohan22
Upload folder using huggingface_hub
e7c7750 verified
raw
history blame
15 Bytes
 global_step6500