Hugging Face's logo

CamiloS1111
/
ragsolver

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

Commit History

10 days ago

  1. Upload folder using huggingface_hub

    CamiloS1111
    Verified signature
    f2f4654