TY - RPRT TI - ELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring AU - Dimitris Tsaras AU - Xing Li AU - Lei Chen AU - Zhiyao Xie AU - Mingxuan Yuan PY - 2025 UR - https://arxiv.org/abs/2508.08073 ID - 2508.08073 ER -