Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

Goedel-Prover-V2-8B

16.4 GB

4 contributors

History: 11 commits

zzzzzhy's picture

Update README.md

dfd02e6 verified 5 months ago