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
/
tests
135 kB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
CamiloS1111
Upload folder using huggingface_hub
a3c590d
verified
10 days ago
test_check_no_leaked_content.py
Safe
3.1 kB
Upload folder using huggingface_hub
10 days ago
test_embed.py
Safe
1.48 kB
Upload folder using huggingface_hub
10 days ago
test_enrich.py
Safe
4.67 kB
Upload folder using huggingface_hub
10 days ago
test_figures.py
Safe
2.2 kB
Upload folder using huggingface_hub
10 days ago
test_goal_mode.py
Safe
16.9 kB
Upload folder using huggingface_hub
10 days ago
test_goal_mode_slow.py
Safe
3.17 kB
Upload folder using huggingface_hub
10 days ago
test_index.py
Safe
711 Bytes
Upload folder using huggingface_hub
10 days ago
test_index_lancedb.py
Safe
2.95 kB
Upload folder using huggingface_hub
10 days ago
test_ingest_mathlib.py
Safe
3.71 kB
Upload folder using huggingface_hub
10 days ago
test_ingest_pdf.py
Safe
2.92 kB
Upload folder using huggingface_hub
10 days ago
test_llm.py
Safe
6.13 kB
Upload folder using huggingface_hub
10 days ago
test_metrics.py
Safe
919 Bytes
Upload folder using huggingface_hub
10 days ago
test_mineru_blocks.py
Safe
5.52 kB
Upload folder using huggingface_hub
10 days ago
test_orchestrator.py
Safe
25.9 kB
Upload folder using huggingface_hub
10 days ago
test_parse_structure.py
Safe
4.44 kB
Upload folder using huggingface_hub
10 days ago
test_prover.py
Safe
19.2 kB
Upload folder using huggingface_hub
10 days ago
test_retrieve_citations.py
Safe
1.25 kB
Upload folder using huggingface_hub
10 days ago
test_retriever.py
Safe
12.4 kB
Upload folder using huggingface_hub
10 days ago
test_retriever_integration.py
Safe
2.04 kB
Upload folder using huggingface_hub
10 days ago
test_schema.py
Safe
3.27 kB
Upload folder using huggingface_hub
10 days ago
test_verify.py
Safe
5.45 kB
Upload folder using huggingface_hub
10 days ago
test_verify_slow.py
Safe
6.32 kB
Upload folder using huggingface_hub
10 days ago