Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT

Commit History

Update README.md

ae874ed
verified

linyongver commited on Jan 29

Update README.md

273d0a1
verified

linyongver commited on Jan 29

Update README.md

88c7235
verified

linyongver commited on Jan 29

Upload performance.png

0b00722
verified

linyongver commited on Jan 29

Update README.md

fad47d4
verified

linyongver commited on Jan 28

Initial model upload

5e1e7cd
verified

linyongver commited on Jan 28

initial commit

db63f33
verified

linyongver commited on Jan 28