TY - RPRT TI - Synthesis of Compact and Expressive Quantum-Circuit Optimizations AU - Wei Qiang AU - Ronghui Gu PY - 2026 DO - 10.1145/3839450 UR - https://arxiv.org/abs/2609.01762 ID - 2609.01762 ER -