Synthesis of Compact and Expressive Quantum-Circuit Optimizations
QSymb, a framework for synthesizing compact and expressive quantum-circuit rewrite rules with formal guarantees, formalizes symbolic rewrite rules in which a symbolic gate represents infinitely many subcircuits and presents rule anchoring to derive optimization-effective rules from canonical symbolic rules.