https://douyixuan.github.io/tags/llm/Recent content in LLM on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usSun, 20 Sep 2026 12:21:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-20/Sun, 20 Sep 2026 12:21:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-20/AutoTrans 用信号约束、编译与形式化验证移植 RISC-V 安全断言；它能筛掉错误和空洞断言，但‘可证明’与‘忠实保留原安全意图’仍是两个命题。