activity
20182023
most citedA Faster Quantum Algorithm for Semidefinite Programming via Robust IPM Framework

3 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

quant-ph2019

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…