@misc{indiciae9c911aed7c73,
  title = {Verifying Fault-Tolerance of Quantum Error Correction Codes},
  author = {Kean Chen and Yuhao Liu and Wang Fang and Jennifer Paykin and Xin-Chuan Wu and Albert Schmitz and Steve Zdancewic and Gushu Li},
  year = {2025},
  doi = {10.1007/978-3-031-98685-7\_1},
  url = {https://arxiv.org/abs/2501.14380},
  note = {Source identifier: 2501.14380}
}