Goedel-LM
/

Goedel-Prover-DPO

Model card Files Files and versions

Goedel-Prover-DPO / special_tokens_map.json

Commit History

Upload folder using huggingface_hub

efd7552
verified

linyongver commited on Apr 22, 2025