quantum computing

A Verified Optimizer for Quantum Circuits
We present voqc, the first verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are …
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
Cite DOI URL
MCBeth: A Measurement-based Quantum Programming Language
QPL 2022 video:
Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand
Cite Video DOI arXiv