Researcher-in-the-Loop Evolutionary Discovery of Entanglement-Assisted Quantum Code Families
LLM-guided program evolution can produce mathematical constructions, but validity, generality, and reproducibility require distinct evidence. We develop a researcher-in-the-loop discovery pipeline that combines program evolution, exact evaluation, mathematical generalization, certified nonexistence checks, and formal proof checking. We apply it to entanglement-assisted quantum error-correcting…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
