Goedel-LM
/

Goedel-Code-Prover-8B

theorem-proving

code-verification

Model card Files Files and versions

Goedel-Code-Prover-8B / merges.txt

zrrr's picture

Upload Goedel-Verifier-Preview-8B model

f097e13 verified 7 months ago

Raw History Contribute Delete

1.67 MB

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