SKILL: Self-correcting Knowledge-guided Iterative Large Language Model Agent for Logic Optimization

SKILL unifies multi-agent LLM reasoning with PPO-based reinforcement learning to automate logic synthesis optimization. The framework coordinates GPT-4o, Claude Sonnet 4, and Gemini 2.5 Pro alongside a self-correcting module that uses PDA metrics to trigger LLM-guided recovery strategies when suboptimal behaviors are detected.