"Verified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal Control" Data
收藏Figshare2026-02-12 更新2026-04-28 收录
下载链接：
https://figshare.com/articles/dataset/_Verified_Learning_for_Compiler_Optimization_An_LLM-Guided_Architecture_with_Formal_Control_Data/31321012
下载链接
链接失效反馈官方服务：
资源简介：
This paper and its results demonstrate, through Large Language Model powered compiler optimization, that generative AI components can be safely integrated into compiler pipelines through deterministic validation and structured feedback, offering a scalable architectural pattern for trustworthy AI-driven software infrastructure.
创建时间：
2026-02-12
