@article{circuittransformerendtoendcircuitdesign,
  title = {Circuit Transformer: A Transformer That Preserves Logical Equivalence},
  author = {Xihan Li and Xing Li and Lei Chen and Xing Zhang and Mingxuan Yuan and Jun Wang},
  year = {2024},
  eprint = {2403.13838},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2403.13838v2},
}