Hugging Face's logo

Goedel-LM
/
Goedel-Prover-SFT

Safetensors
llama
Model card Files
xet
 Community
3
Goedel-Prover-SFT / tokenizer.json

Commit History

  1. Initial model upload

    linyongver
    Verified signature
    5e1e7cd