Tom Peham, Lukas Burgholzer, Robert Wille. Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. In Atsushi Takahashi 0001, editor, Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023. pages 702-708, ACM, 2023. [doi]
Abstract is missing.