Hugging Face's logo

Goedel-LM
/
Goedel-Prover-V2-32B

Text Generation
Transformers
Safetensors
qwen3
conversational
text-generation-inference
Model card Files
xet
Community
4
Goedel-Prover-V2-32B

Commit History

Improve Model Card: Add pipeline tag and library name
05f920d
verified

nielsr HF Staff commited on

Update README.md
7603d1c
verified

zzzzzhy commited on

Update README.md
68d5b78
verified

zzzzzhy commited on

Update README.md
360639a
verified

zzzzzhy commited on

Update README.md
c861322
verified

zzzzzhy commited on

Update README.md
6730470
verified

zzzzzhy commited on

Update README.md
1d2fcf3
verified

zzzzzhy commited on

Update README.md
3f2559b
verified

zzzzzhy commited on

Update README.md
eada05e
verified

zzzzzhy commited on

Update README.md
b14c6e8
verified

zzzzzhy commited on

Update README.md
4e238fc
verified

zzzzzhy commited on

Update README.md
a32b3bf
verified

zzzzzhy commited on

Update README.md
fafbc08
verified

zzzzzhy commited on

Update README.md
797221d
verified

zzzzzhy commited on

Update README.md
8c4df37
verified

zzzzzhy commited on

Update README.md
1a7c671
verified

zzzzzhy commited on

Update README.md
c0c9c1e
verified

zzzzzhy commited on

Update README.md
639231f
verified

zzzzzhy commited on

Update README.md
0299cba
verified

zzzzzhy commited on

Update README.md
c7ccfd3
verified

zzzzzhy commited on

Update README.md
8e0a14f
verified

zzzzzhy commited on

Update README.md
0051db5
verified

zzzzzhy commited on

Update README.md
a78b9a9
verified

zzzzzhy commited on

Update README.md
0147423
verified

linyongver commited on

Update README.md
4968074
verified

linyongver commited on

Update README.md
1af226b
verified

zrrr commited on

Update README.md
36a7559
verified

zrrr commited on

Create README
308228d
verified

zrrr commited on

Upload folder using huggingface_hub
aa53dd1
verified

zrrr commited on

initial commit
558587c
verified

linyongver commited on