Circuit Transformer: A Transformer That Preserves Logical Equivalence - Li, Xihan; Li, Xing; Chen, Lei; Zhang, Xing; Yuan, Mingxuan; Wang, Jun (International Conference on Learning Representations, 2025)