Hugging Face's logo

ruc-ai4math
/
Lean_State_Search_Random

Sentence Similarity
Transformers
Safetensors
Model card Files
xet
 Community
2
Lean_State_Search_Random

Commit History

  1. Update README.md

    happyllll
    Verified signature
    526827b

  2. Add pipeline tag, library and license information (#1)⁠

    happyllll +1: nielsr
    Verified signature
    b98aeba

  1. Update README.md

    happyllll
    Verified signature
    dbb8c9c

  2. Create README.md

    happyllll
    Verified signature
    1efe71e

  1. Upload 7 files

    happyllll
    Verified signature
    8ebd7dd

  2. upload pretrain

    happyllll
    Verified signature
    73b671c

  3. upload finetune model

    happyllll
    Verified signature
    bf04604

  4. initial commit

    happyllll
    Verified signature
    67f6012

  5. initial commit

    happyllll
    Verified signature
    5cb927c