Quantum IRs for Formal Verification

Date: October, 2021

Invited talk at QCE21 Workshop on Quantum Intermediate Representations, Virtual