Verified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal Control

Published: