@misc{indiciae3bcb149f81e9,
  title = {Manjushri: A Tool for Equivalence Checking of Quantum Circuits},
  author = {Xuan Du Trinh and Meghana Sistla and Nengkun Yu and Thomas Reps},
  year = {2026},
  url = {https://arxiv.org/abs/2601.22372},
  note = {Source identifier: 2601.22372}
}