Hugging Face's logo

CamiloS1111
/
ragsolver

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