TY - RPRT TI - VeriQBench: A Benchmark for Multiple Types of Quantum Circuits AU - Kean Chen AU - Wang Fang AU - Ji Guan AU - Xin Hong AU - Mingyu Huang AU - Junyi Liu AU - Qisheng Wang AU - Mingsheng Ying PY - 2022 UR - https://arxiv.org/abs/2206.10880 ID - 2206.10880 ER -