43 citations · 123 across the 16 of their papers we have counts for
5 papers · 1 filter
Differentiable Quantum Programming with Unbounded Loops
Wang Fang, Mingsheng Ying, Xiaodi Wu
The emergence of variational quantum applications has led to the development of automatic differentiation techniques in quantum computing. Recently, Zhu et al. (PLDI 2020) have for…
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…
Verifying Fairness in Quantum Machine Learning
Ji Guan, Wang Fang, Mingsheng Ying
Due to the beyond-classical capability of quantum computing, quantum machine learning is applied independently or embedded in classical models for decision making, especially in th…
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…
isQ: Towards a Practical Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Riling Li +5
We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make the programmers write quantum progra…