Goedel-LM
/

Goedel-Prover-SFT

Model card Files Files and versions Community

Goedel-Prover-SFT / tokenizer.json

linyongver's picture

Initial model upload

5e1e7cd verified 26 days ago

history contribute delete

7.5 MB

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