Goedel-LM
/

Goedel-Prover-DPO

Model card Files Files and versions

Goedel-Prover-DPO / tokenizer.json

linyongver's picture

Upload folder using huggingface_hub

efd7552 verified over 1 year ago

History Contribute Delete

7.5 MB

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