研究者分享用 AI 定理证明器做硬件形式化验证的 REBASE 2026 演讲
satnam6502 · x · 2026-10-08
作者 satnam6502 在 SPLASH/ISSTA 2026 的 REBASE industry track（10 月 4-9 日，美国奥克兰）上做了题为「Formal Verification of Hardware With An AI Theorem Prover」的演讲，主题是用 AI 定理证明器对硬件进行形式化验证。他在推文中提到演讲涉及 Gödel 和 Escher，但没来得及讲 Bach。链接页面是该会议的日程与组织信息页。
「研究」频道最新
- 亚琛工大开源 ARROW：任意 RGB 输入统一 3D 重建与点跟踪，刷新 SOTA — kwangmoo_yi · 2026-10-09
- HAIPS 2026 明日在 COLM 举行，隐私安全学者云集 — tianshi_li · 2026-10-09
- 用广义均值收紧贝叶斯误差的 Bhattacharyya 与 Chernoff 上界 — FrnkNlsn · 2026-10-09
- PAMI 框架：部件锚定让文生人物交互动作接触精度提升 14.5% — _akhaliq · 2026-10-09
- 研究揭示 LLM 当「新颖性评审」极不稳定,判定结果随设计选择剧烈波动 — _akhaliq · 2026-10-09
- 谷歌 AMIE 登上《柳叶刀》:真实门诊诊断与医生一致率达 90% — sundarpichai · 2026-10-09