Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

Goedel-Prover-V2-8B / model-00001-of-00004.safetensors

Commit History

Upload folder using huggingface_hub

e7c7750
verified

Bohan22 commited on Jul 15