2 papers
cs.PL2025
Efficient Formal Verification of Quantum Error Correcting Programs
Qifan Huang, Li Zhou, Wang Fang +2
Quantum error correction (QEC) is fundamental for suppressing noise in quantum hardware and enabling fault-tolerant quantum computation. In this paper, we propose an efficient veri…
quant-ph2025
Verifying Fault-Tolerance of Quantum Error Correction Codes
Kean Chen, Yuhao Liu, Wang Fang +5
Quantum computers have advanced rapidly in qubit count and gate fidelity. However, large-scale fault-tolerant quantum computing still relies on quantum error correction code (QECC)…