3

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
Finn Voichick, Leonidas Lampropoulos, Robert Rand
Cite DOI arXiv
ViCAR: Visualizing Categories with Automated Rewriting in Coq
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical …
Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand
PDF Cite Code
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey
PDF Cite
VyZX: Formal Verification of a Graphical Quantum Language
Mathematical representations of graphs often resemble adjacency matrices or lists, representations that facilitate whiteboard reasoning …
Adrian Lehmann, Ben Caldwell, Bhakti Shah, Robert Rand
Cite DOI arXiv
A Rich Type System for Quantum Programs
In submission. Poster presented at Quantum Information Processing (QIP), 2022.
Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey
Cite Poster DOI arXiv
A Rich Type System for Quantum Programs