Hugging Face's logo

Goedel-LM
/
Goedel-Prover-SFT

Safetensors
llama
Model card Files
xet
 Community
3
Goedel-Prover-SFT

Commit History

  1. Update README.md

    linyongver
    Verified signature
    5b03a13

  2. Update README.md

    linyongver
    Verified signature
    1006b97

  3. Upload performance.png

    linyongver
    Verified signature
    db537be

  4. Update README.md

    linyongver
    Verified signature
    401cf03

  1. Update README.md

    linyongver
    Verified signature
    8eca7f0

  1. Update README.md

    linyongver
    Verified signature
    64f9617

  2. Update README.md

    linyongver
    Verified signature
    3ab452b

  1. Update README.md

    linyongver
    Verified signature
    7a40b3e

  2. Update README.md

    linyongver
    Verified signature
    7a805d9

  1. Update README.md

    linyongver
    Verified signature
    21071cb

  2. Update README.md

    linyongver
    Verified signature
    5455462

  1. Update README.md

    linyongver
    Verified signature
    70cf721

  1. Update README.md

    linyongver
    Verified signature
    caf8fe1

  2. Update README.md

    linyongver
    Verified signature
    ee64ffc

  3. Update README.md

    linyongver
    Verified signature
    ae874ed

  4. Update README.md

    linyongver
    Verified signature
    273d0a1

  5. Update README.md

    linyongver
    Verified signature
    88c7235

  6. Upload performance.png

    linyongver
    Verified signature
    0b00722

  1. Update README.md

    linyongver
    Verified signature
    fad47d4

  2. Initial model upload

    linyongver
    Verified signature
    5e1e7cd

  3. initial commit

    linyongver
    Verified signature
    db63f33