Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions

Goedel-Prover-SFT / README.md

linyongver's picture

initial commit

db63f33 verified about 1 year ago

|

24 Bytes

license: mit