
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.
