2

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
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if …
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
Cite Code DOI arXiv
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective
Giovanni De Micheli, Jie-Hong R. Jiang, Robert Rand, Kaitlin Smith, Mathias Soeken
PDF Cite DOI
Ordered direct implicational basis of a finite closure system
Kira Adaricheva, James B Nation, Robert Rand
PDF Cite