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
Update README.md
#1
by
kaiyuy
- opened
Jul 15, 2025
base:
refs/heads/main
←
from:
refs/pr/1
Discussion
Files changed
+1
-1
kaiyuy
Jul 15, 2025
No description provided.
Update README.md
8cb953b8
kaiyuy
Jul 15, 2025
add python syntax highlighting
zzzzzhy
changed pull request status to
merged
Jul 15, 2025
Edit
Preview
Upload images, audio, and videos by dragging in the text input, pasting, or
clicking here
.
Tap or paste here to upload images
Comment
·
Sign up
or
log in
to comment
