TY - RPRT TI - Automated reduction of fault-tolerant circuits AU - Hyeongjun Jeon AU - Jeonghoon Lee AU - Taehyun Kim PY - 2026 UR - https://arxiv.org/abs/2610.09749 ID - 2610.09749 ER -