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 1 day ago

Add code repo link

d793f5c

zrrr commited on 1 day ago

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

138f323

zrrr commited on 1 day ago

Rename to Goedel-Code-Prover-8B

773d22c

zrrr commited on 1 day ago

Add model card

129c717

zrrr commited on 1 day ago