@misc{indiciae62428672348b,
  title = {QuBEC: Boosting Equivalence Checking for Quantum Circuits with QEC Embedding},
  author = {Chao Lu and Navnil Choudhury and Utsav Banerjee and Abdullah Ash Saki and Kanad Basu},
  year = {2023},
  url = {https://arxiv.org/abs/2309.10728},
  note = {Source identifier: 2309.10728}
}