Goedel-LM
/

Goedel-Code-Prover-8B

theorem-proving

code-verification

Model card Files Files and versions

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

Commit History

Upload Goedel-Verifier-Preview-8B model

f097e13
verified

zrrr commited on 13 days ago