# Symbolic Verification of Quantum Circuits

arXiv: https://arxiv.org/abs/2010.03032 · HTML: https://mlsanity.com/paper/2010.03032/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 5 Oct 2020.

## Built on by (most cited first, 1 of 1)

- [Design of quantum optical experiments with logic artificial intelligence](https://mlsanity.com/paper/2109.13273/) (2021)

## Abstract (arXiv)

This short note proposes a symbolic approach for representing and reasoning about quantum circuits using complex, vector or matrix-valued Boolean expressions. A major benefit of this approach is that it allows us to directly borrow the existing techniques and tools for verification of classical logic circuits in reasoning about quantum circuits.