Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

Goedel-Prover-V2-8B

Commit History

Update README.md

dfd02e6
verified

zzzzzhy commited on Aug 9

Improve model card with metadata and additional usage information (#2)

335a42c
verified

nielsr HF Staff commited on Aug 6

Update README.md

2c592bf
verified

zzzzzhy commited on Aug 6

Update README.md

c478b2e
verified

zzzzzhy commited on Jul 20

Update README.md

7dff492
verified

zzzzzhy commited on Jul 18

Update README.md (#1)

208c439
verified

kaiyuy commited on Jul 15

Update README.md

f352367
verified

zzzzzhy commited on Jul 15

Update README.md

3259870
verified

zzzzzhy commited on Jul 15

Create README.md

0bd3717
verified

zzzzzhy commited on Jul 15

Upload folder using huggingface_hub

e7c7750
verified

Bohan22 commited on Jul 15

initial commit

5202f82
verified

Bohan22 commited on Jul 15