TY - RPRT TI - Heuristic-free Verification-inspired Quantum Benchmarking AU - Johannes Frank AU - Elham Kashefi AU - Dominik Leichtle AU - Michael de Oliveira PY - 2024 UR - https://arxiv.org/abs/2404.10739 ID - 2404.10739 ER -