013 · 告诉 Agent 错在哪里，比只说“结果错了”更有用吗？
Ave 把 GPU kernel 优化必须保持的数据关系写成编译期不变量，再用静态分析与具体反例指导 Agent 修复；消融实验支持这种结构化反馈，但其保证范围取决于人预先表达了哪些不变量。
LLM-Agent
010 · 能综合的 HLS 样本，就算有效数据吗？
HLSFactory-Agent 从 26 个公开仓库抽取 271 个候选设计，其中 130 个通过 Vitis HLS 综合；这证明了自动抽取的可行性，也暴露出可综合性、功能正确性与数据价值之间的距离。