Hugging Face
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
CamiloS1111
/
ragsolver
Like
0
CamiloS1111/ragsolver-index
lean4
mathlib
retrieval
rag
theorem-proving
olympiad
multi-agent
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
ragsolver
/
docs
545 kB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
CamiloS1111
Upload folder using huggingface_hub
d199b14
verified
10 days ago
interfaces
Upload folder using huggingface_hub
10 days ago
AUDIT_2026-09-23.md
Safe
35.7 kB
Upload folder using huggingface_hub
10 days ago
DECISIONS.md
Safe
115 kB
Upload folder using huggingface_hub
10 days ago
Mejorasuwu.md
Safe
13.2 kB
Upload folder using huggingface_hub
10 days ago
PLAN_CORRECCIONES.md
Safe
45.2 kB
Upload folder using huggingface_hub
10 days ago
PLAN_MEJORA_RAG.md
Safe
38.4 kB
Upload folder using huggingface_hub
10 days ago
PLAN_RAG.md
Safe
59.4 kB
Upload folder using huggingface_hub
10 days ago
PLAN_REDISENO_PROVER.md
Safe
4.2 kB
Upload folder using huggingface_hub
10 days ago
PROGRESS.md
Safe
26.5 kB
Upload folder using huggingface_hub
10 days ago
architecture.md
Safe
14.3 kB
Upload folder using huggingface_hub
10 days ago
diagramas.md
Safe
14.2 kB
Upload folder using huggingface_hub
10 days ago
eval_report.md
Safe
14.5 kB
Upload folder using huggingface_hub
10 days ago
eval_report_dev.md
Safe
8.73 kB
Upload folder using huggingface_hub
10 days ago
eval_report_v2.md
Safe
9.5 kB
Upload folder using huggingface_hub
10 days ago
eval_report_v3.md
Safe
5.75 kB
Upload folder using huggingface_hub
10 days ago
eval_report_v4.md
Safe
8.03 kB
Upload folder using huggingface_hub
10 days ago
final_report.md
Safe
60.2 kB
Upload folder using huggingface_hub
10 days ago
install.md
Safe
6.81 kB
Upload folder using huggingface_hub
10 days ago
interfaces.md
Safe
2.83 kB
Upload folder using huggingface_hub
10 days ago
qa_ingest_edd3436ca148.md
Safe
3.88 kB
Upload folder using huggingface_hub
10 days ago
reproduce.md
Safe
9.59 kB
Upload folder using huggingface_hub
10 days ago
user_guide.md
Safe
7.4 kB
Upload folder using huggingface_hub
10 days ago