Run the Demo
Click the button below to run a live ML-guided search on 5,000 Calabi-Yau manifolds. Results will appear in ~5-10 seconds.
For command-line usage:
python cy_search_real.py
What It Does
Download Dataset
Fetch Calabi-Yau dataset with checksum verification
Train Baseline Model
Train ML classifier with fixed random seed for reproducibility
Rank Candidates
Score and rank candidates by predicted likelihood
Verify Top-k
Validate top results against ground truth labels
Export Artifacts
Generate CSV/JSON outputs with reproducibility metadata
For Scientists
Use upg-strings as a reproducible filter for rare geometries before deeper analysis.
- Run an ML-guided search to rank candidates by likelihood of meeting your target criteria
- Verify top-k hits against ground truth labels for precision and recall
- Export CSV/JSON artifacts for downstream calculations and publication-ready summaries
- Repeat with fixed seeds to compare experiments and share reproducible results
Outputs
results_topk.csv
Top-ranked candidates with scores and verification status
metrics.json
Performance metrics and timing data
repro.md
Complete reproducibility report with environment details
Metrics
Precision@k
Fraction of top-k predictions that are verified correct
Recall@k
Fraction of all true targets found in top-k results
Time-to-First-Hit
How quickly the first verified target is discovered
Links
Disclaimer: This tool accelerates computational search and verification. It does not claim to 'solve string theory'.