https://douyixuan.github.io/tags/specification-synthesis/Recent content in Specification-Synthesis on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usSat, 10 Oct 2026 12:55:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-10/Sat, 10 Oct 2026 12:55:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-10/SpecAgent 用依赖感知规划、形式验证、跨规格修复与强度审查生成 ACSL 规格；其完备性探针能识别返回值欠约束，但不能单独证明规格已表达全部重要语义。