https://douyixuan.github.io/tags/symbolic-execution/Recent content in Symbolic-Execution on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usThu, 22 Oct 2026 12:05:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-22/Thu, 22 Oct 2026 12:05:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-10-22/Racer 把 PTX 中的浮点运算解释为精确实数运算，寻找被测试容差掩盖的逻辑错误。它让我们区分：证明公式相同，与证明机器计算的数值误差可接受，是两种不同的正确性主张。