Tag
A researcher-in-the-loop pipeline combining LLM-guided program evolution, exact evaluation, and Lean formal proof checking discovers a new family of entanglement-assisted quantum error-correcting codes, closing 54 gaps in archived EAQECC tables with 115 verified records and 10 certified nonexistence results.