Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
The paper proposes feeding compiler diagnostics into code generation before the model finishes the program.
The authors introduce “generative compilation,” using a lightweight transformation called a sealor to turn partial Rust-like programs into compilable forms that standard compilers can check. They prove the approach on a core Rust-like calculus in Lean, then extend it to real Rust. In repository-level Rust tasks, they report fewer non-compiling outputs and better functional correctness than post-generation compiler feedback. ArXiv · AI/CL/LG's note
The authors introduce “generative compilation,” using a lightweight transformation called a sealor to turn partial Rust-like programs into compilable forms that standard compilers can check. They prove the approach on a core Rust-like calculus in Lean, then extend it to real Rust. In repository-level Rust tasks, they report fewer non-compiling outputs and better functional correctness than post-generation compiler feedback. ArXiv · AI/CL/LG's note
score 6