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 9 months ago

history contribute delete

7.5 MB

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