Goedel-LM
/

Goedel-Prover-DPO

Model card Files Files and versions

Goedel-Prover-DPO / .gitattributes

Commit History

initial commit

138518e
verified

linyongver commited on Apr 19, 2025