Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

Goedel-Prover-V2-8B

Commit History

Improve model card with metadata and additional usage information

9e6b3fc
verified

nielsr HF Staff commited on Aug 6, 2025

Update README.md

2c592bf
verified

zzzzzhy commited on Aug 6, 2025

Update README.md

c478b2e
verified

zzzzzhy commited on Jul 20, 2025

Update README.md

7dff492
verified

zzzzzhy commited on Jul 18, 2025

Update README.md (#1)

208c439
verified

kaiyuy commited on Jul 15, 2025

Update README.md

f352367
verified

zzzzzhy commited on Jul 15, 2025

Update README.md

3259870
verified

zzzzzhy commited on Jul 15, 2025

Create README.md

0bd3717
verified

zzzzzhy commited on Jul 15, 2025

Upload folder using huggingface_hub

e7c7750
verified

Bohan22 commited on Jul 15, 2025

initial commit

5202f82
verified

Bohan22 commited on Jul 15, 2025