Published June 3, 2026 | Version v1
Software Open

Code for: Program-Synthesis-Driven Auto-Design of Universal Unitary Operators

Description

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.

Files

program-synthesis-matrix-decomposition-source.zip

Files (434.6 kB)

Name Size Download all
md5:be1e713f3276517ba72ec340be16f253
434.6 kB Preview Download