论文提出“生成式编译”，通过称为 sealor 的轻量级、主要基于语法的转换，把尚未完成的部分程序临时转换为可由标准编译器诊断的完整程序，从而在自回归生成过程中提前发现 Rust 代码的错误。作者在类 Rust 演算上形式化证明并用 Lean 机械化验证，再扩展到真实 Rust，评估显示其相较生成后反馈可减少无法编译输出并提升功能正确性。
最近 24 小时暂无可用热度快照。