@misc{indiciae414c92bc7471,
  title = {Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms},
  author = {Tom Peham and Lukas Burgholzer and Robert Wille},
  year = {2022},
  doi = {10.1145/3566097.3567932},
  url = {https://arxiv.org/abs/2210.12166},
  note = {Source identifier: 2210.12166}
}