Goedel-LM
/

Goedel-Code-Prover-8B

theorem-proving

code-verification

Model card Files Files and versions

Goedel-Code-Prover-8B / README.md

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