4 papers
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
Mingyu Huang, Ji Guan, Wang Fang +1
In the current NISQ (Noisy Intermediate-Scale Quantum) era, simulating and verifying noisy quantum circuits is crucial but faces challenges such as quantum state explosion and comp…
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…
VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
Yanling Lin, Ji Guan, Wang Fang +2
Adversarial noise attacks present a significant threat to quantum machine learning (QML) models, similar to their classical counterparts. This is especially true in the current Noi…
Symbolic Execution for Quantum Error Correction Programs
Wang Fang, Mingsheng Ying
We define QSE, a symbolic execution framework for quantum programs by integrating symbolic variables into quantum states and the outcomes of quantum measurements. The soundness of…