Goedel-LM
/

Goedel-Prover-DPO

Model card Files Files and versions

Goedel-Prover-DPO / README.md

Commit History

Update README.md

f381722
verified

linyongver commited on Apr 22, 2025

initial commit

138518e
verified

linyongver commited on Apr 19, 2025