Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions

Goedel-Prover-SFT / performance.png

Commit History

Upload performance.png

db537be
verified

linyongver commited on Apr 18, 2025

Upload performance.png

0b00722
verified

linyongver commited on Jan 29, 2025