On Formalizing the Quantum Intermediate Representation Department of Information Science and Technology, Graduate School of Information Science and Electrical Engineering Quantum Intermediate Representation (QIR) is a new intermediate representation of quantum programs developed by Microsoft, based on the popular open-source LLVM intermediate language. QIR specifies a [...]
