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
/
scripts
104 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
CamiloS1111
Upload folder using huggingface_hub
e53cb42
verified
10 days ago
ann_recall.py
Safe
3.85 kB
Upload folder using huggingface_hub
10 days ago
build_eval_sample.py
Safe
2.73 kB
Upload folder using huggingface_hub
10 days ago
build_eval_set.py
Safe
3.53 kB
Upload folder using huggingface_hub
10 days ago
build_premise_gold.py
Safe
2.96 kB
Upload folder using huggingface_hub
10 days ago
build_premise_gold_goals.py
Safe
5.91 kB
Upload folder using huggingface_hub
10 days ago
build_premise_prior.py
Safe
3.58 kB
Upload folder using huggingface_hub
10 days ago
check_no_leaked_content.py
Safe
3.2 kB
Upload folder using huggingface_hub
10 days ago
contamination.py
Safe
2.08 kB
Upload folder using huggingface_hub
10 days ago
demo_up.sh
Safe
546 Bytes
Upload folder using huggingface_hub
10 days ago
embed_full_mathlib.sh
Safe
1.12 kB
Upload folder using huggingface_hub
10 days ago
eval_informal_gold.py
Safe
3.01 kB
Upload folder using huggingface_hub
10 days ago
eval_premises.py
Safe
2.71 kB
Upload folder using huggingface_hub
10 days ago
eval_premises_goals.py
Safe
4.32 kB
Upload folder using huggingface_hub
10 days ago
eval_report.py
Safe
13.2 kB
Upload folder using huggingface_hub
10 days ago
export_schemas.py
Safe
1.29 kB
Upload folder using huggingface_hub
10 days ago
fill_final_report.py
Safe
9.41 kB
Upload folder using huggingface_hub
10 days ago
probe_close.py
Safe
3.92 kB
Upload folder using huggingface_hub
10 days ago
prover_server.sh
Safe
1.58 kB
Upload folder using huggingface_hub
10 days ago
publish_hf.py
Safe
9.1 kB
Upload folder using huggingface_hub
10 days ago
publish_space.py
Safe
5.5 kB
Upload folder using huggingface_hub
10 days ago
qa_ingest_report.py
Safe
6.62 kB
Upload folder using huggingface_hub
10 days ago
reverify_eval_v1.py
Safe
4.78 kB
Upload folder using huggingface_hub
10 days ago
run_chain.sh
Safe
6.36 kB
Upload folder using huggingface_hub
10 days ago
run_eval_v1.sh
Safe
917 Bytes
Upload folder using huggingface_hub
10 days ago
run_night.sh
Safe
1.41 kB
Upload folder using huggingface_hub
10 days ago