Paper Accepted by Journal of Software

Our paper has been accepted by Journal of Software.

Our paper titled “Fast-USYN: Fast Synthesis from Unitary Matrices to High-Quality Quantum Circuits” (in Chinese) by Siwei Tan, Liqiang Lu, Congliang Lang, Mingshuai Chen, and Jianwei Yin has been accepted for publication at the Journal of Software as part of its Special Issue on Formal Methods and Their Applications, 2025. This paper contributes Fast-USYN – a novel approach that enables the fast synthesis from unitary matrices to high-quality quantum circuits.