@misc{indiciae6483cb0b9c2e,
  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 = {2025},
  url = {https://arxiv.org/abs/2403.13838},
  note = {Source identifier: 2403.13838}
}