Goedel-LM
/

Goedel-Code-Prover-8B

theorem-proving

code-verification

Model card Files Files and versions

Goedel-Code-Prover-8B

Commit History

Fix citation and paper title

858f3b5

zrrr commited on about 21 hours ago

Add code repo link

d793f5c

zrrr commited on about 22 hours ago

Update README with arxiv link, scaffolding use case, and prompt format

138f323

zrrr commited on about 23 hours ago

Rename to Goedel-Code-Prover-8B

773d22c

zrrr commited on about 23 hours ago

Add model card

129c717

zrrr commited on about 24 hours ago

initial commit

7b1b41a
verified

zrrr commited on about 24 hours ago

Upload Goedel-Verifier-Preview-8B model

f097e13
verified

zrrr commited on 12 days ago

initial commit

f2c49cc
verified

zrrr commited on 12 days ago