TY - RPRT TI - Equivalence Checking of Parameterised Quantum Circuits AU - Xin Hong AU - Wei-Jia Huang AU - Wei-Chen Chien AU - Yuan Feng AU - Min-Hsiu Hsieh AU - Sanjiang Li AU - Mingsheng Ying PY - 2024 UR - https://arxiv.org/abs/2404.18456 ID - 2404.18456 ER -