Hugging Face's logo

CamiloS1111
/
ragsolver

lean4
mathlib
retrieval
rag
theorem-proving
olympiad
multi-agent
Model card Files
xet
 Community
ragsolver / notebooks
124 kB
  • 1 contributor
 History: 3 commits
CamiloS1111's picture
CamiloS1111
Upload folder using huggingface_hub
6ec796c verified