@misc{indiciae96e941a80ac0, title = {QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits}, author = {Zihao Li and Ji Guan and Mingsheng Ying}, year = {2026}, doi = {10.1007/978-3-032-26204-2\_30}, url = {https://arxiv.org/abs/2605.14881}, note = {Source identifier: 2605.14881} }