Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

Goedel-Prover-V2-8B / vocab.json

Bohan22's picture

Upload folder using huggingface_hub

e7c7750 verified 6 months ago

history contribute delete

2.78 MB

File too large to display, you can check the raw version instead.