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

Figshare 2026 Dataset Open access

Read full text
Authors: Dev Singh, Suman Saha, Rong Feng
DOI: 10.6084/m9.figshare.31321012
Cited by: 0

Abstract

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.

Fields of Study & Subjects

Logic programming and type systems Software Engineering Research Software Testing and Debugging Techniques

Publication details

Journal / source
Figshare
Publication date
1 January 2026
Language
EN
Document type
Dataset