Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.

Tom Peham, Lukas Burgholzer, Robert Wille

Browse the full ASPDAC paper archive.