Efficiently Verifying Quantum Programs with Few T Gates.

Youngchan Cho, Robert Rand

Browse the full VMCAI paper archive.