@misc{indiciae9336878fca07, title = {SKILL: Self-correcting Knowledge-guided Iterative Large Language Model Agent for Logic Optimization}, author = {Rui Yang}, year = {2026}, url = {https://arxiv.org/abs/2608.14579}, note = {Source identifier: 2608.14579} }