Program-Optimization on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/tags/program-optimization/Recent content in Program-Optimization on 兜忆轩 | Cedric's Compiler Notes兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usMon, 02 Nov 2026 12:00:00 +0800048 · 等价证明通过，性能就能泛化吗？https://douyixuan.github.io/posts/ai-silicon-papers/2026-11-02/Mon, 02 Nov 2026 12:00:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-11-02/Agentic Verified Optimization 要求 Agent 同时交出更快的程序与等价证明。证明覆盖定义域内的输入，计时却只覆盖选定工作负载：两种证据如何共同支撑“优化成功”？