Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT / README.md

Commit History

Update README.md

caf8fe1
verified

linyongver commited on Jan 29

Update README.md

ee64ffc
verified

linyongver commited on Jan 29

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

Update README.md

fad47d4
verified

linyongver commited on Jan 28

initial commit

db63f33
verified

linyongver commited on Jan 28