23 citations · 58 across the 13 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2022★ 3 cited
A Faster Quantum Algorithm for Semidefinite Programming via Robust IPM Framework
Baihe Huang, Shunhua Jiang, Zhao Song +2
This paper studies a fundamental problem in convex optimization, which is to solve semidefinite programming (SDP) with high accuracy. This paper follows from the existing robust SD…
quant-ph2019★ 10 cited
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
Yunong Shi, Runzhou Tao, Xupeng Li +4
We present CertiQ, a verification framework for writing and verifying compiler passes of Qiskit, the most widely-used quantum compiler. To our knowledge, CertiQ is the first effort…