Run a Search
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 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
Compatible exports: CYTools, cymetric, Sage, Mathematica, plus JSON/CSV.
CYTools
cymetric
Sage
Mathematica
JSON
CSV
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'.