34 citations · 48 across the 7 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.PL2022★ 1 cited
CoqQ: Foundational Verification of Quantum Programs
Li Zhou, Gilles Barthe, Pierre-Yves Strub +2
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language, in which classic quant…
quant-ph2022★ 8 cited
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…
quant-ph2022★ 34 cited
New Quantum Algorithms for Computing Quantum Entropies and Distances
Qisheng Wang, Ji Guan, Junyi Liu +2
We propose a series of quantum algorithms for computing a wide range of quantum entropies and distances, including the von Neumann entropy, quantum Rényi entropy, trace distance, a…