Robustness Verification of Quantum Machine Learning. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CoRR, 2020)

Robustness Verification of Quantum Classifiers. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CAV (1), 2021)

Verifying Fairness in Quantum Machine Learning. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CAV (2), 2022)

Detecting Violations of Differential Privacy for Quantum Algorithms. - Ji Guan 001; Wang Fang 001; Mingyu Huang; Mingsheng Ying (CCS, 2023)

Quantum Algorithm for Fidelity Estimation. - Qisheng Wang; Zhicheng Zhang; Kean Chen; Ji Guan 001; Wang Fang 001; Junyi Liu 002; Mingsheng Ying (IEEE Trans. Inf. Theory, 2023)

SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. - Wang Fang 001; Mingsheng Ying (DAC, 2024)

Approximation Algorithm for Noisy Quantum Circuit Simulation. - Mingyu Huang; Ji Guan 001; Wang Fang 001; Mingsheng Ying (DATE, 2024)

VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. - Yanling Lin; Ji Guan 001; Wang Fang 001; Mingsheng Ying; Zhaofeng Su 001 (FM (1), 2024)

Symbolic Execution for Quantum Error Correction Programs. - Wang Fang 001; Mingsheng Ying (Proc. ACM Program. Lang., 2024)

Differentiable Quantum Programming with Unbounded Loops. - Wang Fang 001; Mingsheng Ying; Xiaodi Wu 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Artifact: Symbolic Execution for Quantum Error Correction Programs. - Wang Fang 001; Mingsheng Ying (Zenodo, 2024)

Artifact for VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models. - Yanling Lin; Ji Guan 001; Wang Fang 001; Mingsheng Ying; Zhaofeng Su 001 (Zenodo, 2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes. - Kean Chen; Yuhao Liu; Wang Fang 001; Jennifer Paykin; Xin-Chuan Wu; Albert T. Schmitz; Steve Zdancewic; Gushu Li (CAV (4), 2025)

Efficient Formal Verification of Quantum Error Correcting Programs. - Qifan Huang; Li Zhou 013; Wang Fang 001; Mengyu Zhao; Mingsheng Ying (Proc. ACM Program. Lang., 2025)

Hadamard-Π: Equational Quantum Programming. - Wang Fang 001; Chris Heunen; Robin Kaarsgaard (CoRR, 2025)

Optimal Quantum Algorithm for Estimating Fidelity to a Pure State. - Wang Fang 001; Qisheng Wang (CoRR, 2025)