Hugging Face's logo

CamiloS1111
/
ragsolver

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