研究人员开发了一种在AI编译器中追踪数据和操作来源的新方法。该方法利用观测语义和协代数模型，即使在编译器优化移除中间步骤的情况下也能保持溯源。一个名为COVAN的原型编译器展示了这种轻量级、生成式技术的有效性。 AI
影响 这项研究可以提高AI编译器的可靠性和可调试性，可能带来更强大的AI开发工具。
排序理由 该集群包含一篇详细介绍新技术方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
AI compilers aggressively rewrite computation graphs through normalization, lowering, and optimization, making it difficult to track the provenance of tensors and operators across compilation. Reliable provenance is essential for attaching platform-specific postprocessing, debugg…