Goedel-LM
/

Goedel-Code-Prover-8B

theorem-proving

code-verification

Model card Files Files and versions

Goedel-Code-Prover-8B / vocab.json

zrrr's picture

Upload Goedel-Verifier-Preview-8B model

f097e13 verified 13 days ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.