1 paper
Tomoya Hayata, Arata Yamamoto
Given the rapid advances in quantum computing hardware, establishing systematic strategies for verifying the correctness of quantum computations has become increasingly important.…