TY  - RPRT
TI  - End-to-End Formalization of Quantum Error Correction
AU  - Mattias Ehatamm
AU  - Yi Lee
AU  - Xiaodi Wu
AU  - Runzhou Tao
PY  - 2026
UR  - https://arxiv.org/abs/2605.16523
ID  - 2605.16523
ER  -