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

Read full text
Authors: Yifei Zhang, Dong Chen, Fan Wang (135182), Wenrui Zhang, Yan Chen (4308), Dingding Han, Jianmin Yuan, Xiangjin Kong, Yu-Gang Ma
Cited by: 1

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