Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems

ArXi:2510.20728v3 Announce Type: replace-cross Exact scientific discovery requires than heuristic search: candidate constructions must be turned into exact objects and checked independently. We address this gap by extending TeXRA with an independent Lean 4 verification layer, turning it into a human-guided multi-agent platform for exact scientific discovery. The platform couples symbolic synthesis, combinatorial and linear-programming search, exact reconstruction of numerical candidates, and formal verification in Lean.