activity
20232026
most citedVyZX: Formal Verification of a Graphical Quantum Language

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2023 · quant-phShow all

1 paper · 2 filters

quant-ph2023

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation

Finn Voichick, Leonidas Lampropoulos, Robert Rand

We present COGNAC, a novel strategy for compiling quantum circuits based on numerical optimization algorithms from scientific computing. Observing that shorter-duration "partially…