Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT / model-00002-of-00003.safetensors

Commit History

Initial model upload

5e1e7cd
verified

linyongver commited on 26 days ago