Arthur and Merlin in a quantum world | IEEE Conference Publication | IEEE Xplore