Goedel-LM
/

Goedel-Prover-V2-32B

Text Generation

text-generation-inference

Model card Files Files and versions

Goedel-Prover-V2-32B / .gitattributes

Commit History

Upload folder using huggingface_hub

aa53dd1
verified

zrrr commited on Jul 14, 2025

initial commit

558587c
verified

linyongver commited on Jul 14, 2025