@misc{indiciae046ecd53f8e8,
  title = {Equivalence Checking of Parameterised Quantum Circuits},
  author = {Xin Hong and Wei-Jia Huang and Wei-Chen Chien and Yuan Feng and Min-Hsiu Hsieh and Sanjiang Li and Mingsheng Ying},
  year = {2024},
  url = {https://arxiv.org/abs/2404.18456},
  note = {Source identifier: 2404.18456}
}