Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions

Goedel-Prover-SFT

13.8 GB

1 contributor

History: 18 commits

nielsr's picture

nielsr HF Staff

Add pipeline tag and library name

adedc3b verified 10 months ago