Hugging Face's logo

CamiloS1111
/
ragsolver

lean4
mathlib
retrieval
rag
theorem-proving
olympiad
multi-agent
Model card Files
xet
 Community
ragsolver / configs
24.4 kB
  • 1 contributor
 History: 1 commit
CamiloS1111's picture
CamiloS1111
Upload folder using huggingface_hub
f2f4654 verified