14 citations · 22 across the 5 of their papers we have counts for
5 papers
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…
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…
Detecting Violations of Differential Privacy for Quantum Algorithms
Ji Guan, Wang Fang, Mingyu Huang +1
Quantum algorithms for solving a wide range of practical problems have been proposed in the last ten years, such as data search and analysis, product recommendation, and credit sco…
Approximation Algorithm for Noisy Quantum Circuit Simulation
Mingyu Huang, Ji Guan, Wang Fang +1
Simulating noisy quantum circuits is vital in designing and verifying quantum algorithms in the current NISQ (Noisy Intermediate-Scale Quantum) era, where quantum noise is unavoida…
VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
Kean Chen, Wang Fang, Ji Guan +5
In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) co…