Verified Optimization in a Quantum Intermediate Representation

Publication
Workshop on Noisy Intermediate-Scale Quantum Technologies (NISQ 2020) Poster