TY - RPRT TI - Circuit Transformer: A Transformer That Preserves Logical Equivalence AU - Xihan Li AU - Xing Li AU - Lei Chen AU - Xing Zhang AU - Mingxuan Yuan AU - Jun Wang PY - 2025 UR - https://arxiv.org/abs/2403.13838 ID - 2403.13838 ER -