TY  - RPRT
TI  - AlchemQ: Proof-Carrying Quantum Circuit Optimization with Per-Result Equivalence Certificates
AU  - Adam Laabs
PY  - 2026
UR  - https://arxiv.org/abs/2609.19160
ID  - 2609.19160
ER  -