TY  - RPRT
TI  - Methods for Automated Equivalence Checking of Quantum Error-Correction Codes
AU  - Maxie Bichmann
AU  - Ludwig Schmid
AU  - Robert Wille
PY  - 2026
UR  - https://arxiv.org/abs/2610.18218
ID  - 2610.18218
ER  -