Hugging Face's logo

NJUDeepEngine
/
SEG-ATP

Text Generation
Safetensors
English
theorem-proving
automated-theorem-proving
lean4
mathematical-reasoning
llm
qwen2.5-math
Model card Files
xet
 Community
SEG-ATP

Commit History

  1. Update README.md

    SeanShawna
    Verified signature
    f97ee62

  2. Create README.md

    SeanShawna
    Verified signature
    c6dfd3e

  1. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    a5cfaf9

  2. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    1c956d0

  3. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    8f80c16

  4. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    e3ed051

  5. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    c487516

  6. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    4d88696

  7. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    e6aadff

  8. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    d5fcf39

  9. Upload folder using huggingface_hub

    SeanShawna
    Verified signature
    6a77bf9

  10. initial commit

    SeanShawna
    Verified signature
    1bd0415