Goedel-LM
/

Goedel-Prover-V2-32B

Text Generation

text-generation-inference

Model card Files Files and versions

Goedel-Prover-V2-32B

Commit History

Update README.md

851bf85
verified

shangetang commited on Aug 27, 2025

Update README.md

9d54005
verified

zzzzzhy commited on Aug 9, 2025

Update README.md

b9106f7
verified

Bohan22 commited on Aug 6, 2025

Improve Model Card: Add pipeline tag and library name (#4)

2001e69
verified

nielsr HF Staff commited on Aug 6, 2025

Update README.md

7603d1c
verified

zzzzzhy commited on Aug 6, 2025

Update README.md

68d5b78
verified

zzzzzhy commited on Aug 6, 2025

Update README.md

360639a
verified

zzzzzhy commited on Jul 20, 2025

Update README.md

c861322
verified

zzzzzhy commited on Jul 18, 2025

Update README.md (#1)

29befb3
verified

kaiyuy commited on Jul 15, 2025

Update README.md

6730470
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

1d2fcf3
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

3f2559b
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

eada05e
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

b14c6e8
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

4e238fc
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

a32b3bf
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

fafbc08
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

797221d
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

8c4df37
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

1a7c671
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

c0c9c1e
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

639231f
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

0299cba
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

c7ccfd3
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

8e0a14f
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

0051db5
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

a78b9a9
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

0147423
verified

linyongver commited on Jul 15, 2025

Update README.md

4968074
verified

linyongver commited on Jul 14, 2025

Update README.md

1af226b
verified

zrrr commited on Jul 14, 2025

Update README.md

36a7559
verified

zrrr commited on Jul 14, 2025

Create README

308228d
verified

zrrr commited on Jul 14, 2025

Upload folder using huggingface_hub

aa53dd1
verified

zrrr commited on Jul 14, 2025

initial commit

558587c
verified

linyongver commited on Jul 14, 2025