43 citations · 44 across the 2 of their papers we have counts for
Showing quant-phShow all
3 papers · 1 filter
quant-ph2026
QEDIA: Quantum Program Verification in Lean
Yuanjie, Ren, Zhicheng Zhang +4
Practical quantum programs interleave quantum and classical computation: classical data shape the quantum operations that are performed, and measurement outcomes shape the classica…
quant-ph2022★ 1 cited
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…
quant-ph2021★ 43 cited
Quantum Algorithm for Fidelity Estimation
Qisheng Wang, Zhicheng Zhang, Kean Chen +4
For two unknown mixed quantum states and in an -dimensional Hilbert space, computing their fidelity is a basic problem with many important applications in quant…