Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions

Goedel-Prover-SFT

Commit History

initial commit

db63f33
verified

linyongver commited on Jan 28