Goedel-LM
/

Goedel-Prover-V2-32B

Model card Files Files and versions Community

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

zrrr's picture

Upload folder using huggingface_hub

aa53dd1 verified 4 days ago

history contribute delete

2.78 MB

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