Verified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal Control
This work fine-tune a code-centric LLM on transformations produced by Wyvern and embed Alive2 into a feedback loop that enforces semantic preservation for every generated rewrite, demonstrating that generative AI components can be safely integrated into compiler pipelines through deterministic validation and structured...