43 citations · 180 across the 26 of their papers we have counts for
5 papers · 1 filter
Certifying Adversarial Robustness of Quantum Classifiers under Known-Readout Query Access
Ji Guan, Mingyu Huang
A quantum classifier assigns labels by evolving an input quantum state and measuring the output, so repeated executions reveal only a distribution over labels. We study certified a…
Formal Verification of Quantum Ancilla Safety
Jiqi Li, Jingyi Mei, Wang Fang +1
Ensuring ancilla safety is a critical correctness requirement for quantum compilation, since ancilla qubits are routinely introduced to implement complex operations with fewer gate…
Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
Ji Guan, Mingsheng Ying
As with classical neural networks, quantum machine learning (QML) models are vulnerable to small input perturbations that can significantly alter output predictions. Certifying the…
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
Zihao Li, Ji Guan, Mingsheng Ying
We present a tool QSeqSim, a Qiskit-integrated symbolic backend that fills the current gap of having no Qiskit-native support for simulating while-loop quantum programs and their i…
Model Checking Matrix Product States against Linear Chain Logic
Ming Xu, Yihao Chen, Ji Guan
Matrix product states (MPS) are a standard tensor-network representation for ground states of one-dimensional quantum many-body systems, and they underpin widely used simulation to…