Hugging Face's logo

CamiloS1111
/
ragsolver

lean4
mathlib
retrieval
rag
theorem-proving
olympiad
multi-agent
Model card Files
xet
 Community
ragsolver

Commit History

9 days ago

  1. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    6ec796c

  2. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    d199b14

  3. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    e53cb42

  4. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    15cf0ed

  5. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    1902e11

  6. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    81f30c1

  7. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    a3c590d

  8. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    4a4ffee

  9. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    ee54756

  10. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    f2f4654

  11. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    44b0bc2

  12. Upload uv.lock with huggingface_hub

    CamiloS1111
    Verified signature
    ce000c2

  13. Upload pyproject.toml with huggingface_hub

    CamiloS1111
    Verified signature
    3fea70b

  14. Upload CITATION.cff with huggingface_hub

    CamiloS1111
    Verified signature
    cf5fd96

  15. Upload LICENSE with huggingface_hub

    CamiloS1111
    Verified signature
    cc7d5d9

  16. Upload app.py with huggingface_hub

    CamiloS1111
    Verified signature
    5d5b899

  17. Upload requirements.txt with huggingface_hub

    CamiloS1111
    Verified signature
    21fc836

  18. Upload README.md with huggingface_hub

    CamiloS1111
    Verified signature
    0e8c564

  19. initial commit

    CamiloS1111
    Verified signature
    317308c