Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Goedel-LM
/
Goedel-Prover-V2-32B
like
27
Follow
Goedel-LM
46
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
Train
Deploy
Use this model
Improve metadata 🤗
#3
by
merve
HF Staff
- opened
17 days ago
base:
refs/heads/main
←
from:
refs/pr/3
Discussion
Files changed
+1
-0
merve
17 days ago
No description provided.
Improve metadata 🤗
2216baf0
Edit
Preview
Upload images, audio, and videos by dragging in the text input, pasting, or
clicking here
.
Tap or paste here to upload images
Cannot merge
This branch has merge conflicts in the following files:
README.md
Comment
·
Sign up
or
log in
to comment
