Code for: Program-Synthesis-Driven Auto-Design of Universal Unitary Operators
Abstract
Source code for the matrix-decomposition experiments in the manuscript "Program-Synthesis-Driven Auto-Design of Universal Unitary Operators". The repository extends DreamCoder / EC with a complex-valued matrix-decomposition domain for photonic unitary operators, including Mach-Zehnder-interferometer primitives, unitary and structured matrix task generation, sparse-SVD experiments, OCaml backend evaluation, and verification utilities.
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 3 June 2026