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 23 days ago

Add code repo link

d793f5c

zrrr commited on 23 days ago

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

138f323

zrrr commited on 23 days ago

Rename to Goedel-Code-Prover-8B

773d22c

zrrr commited on 23 days ago

Add model card

129c717

zrrr commited on 23 days ago

initial commit

7b1b41a
verified

zrrr commited on 23 days ago

Upload Goedel-Verifier-Preview-8B model

f097e13
verified

zrrr commited on Mar 14

initial commit

f2c49cc
verified

zrrr commited on Mar 14