深耕形式化验证多年的研究者反思:当形式化变廉价会发生什么
IanArawjo · x · 2026-09-25
Kaiyu Yang 自 2018 年起从事 AI + 形式化验证研究,他在长文中探讨该领域的热潮,并思考一个更深层的问题:当形式化(formalization)的成本变得足够便宜时,它到底能解决什么、又会改变什么。HCI 研究者 shreya 转发补充:用 AI 帮助人类撰写更多规约(specification)是一个有意思的研究方向;Ian Arawjo 也认为从 HCI 视角看 AI 辅助形式化值得探索。
所属事件:形式化验证研究者长文反思：形式化变廉价之后(2 条相关)→
「研究」频道最新
- 教授用纯 NumPy 从零搭建交互式神经网络教学笔记本 — GeostatsGuy · 2026-11-11
- 新 benchmark Continual-ARC:主流 agent 都学不会经验,9B 模型微调可以 — Med1_Ai · 2026-11-11
- Science 子刊：好的对话呈现'粉噪'式的语义波动模式 — _akpiper · 2026-11-11
- 研究：近半数 STEM 博士论文用 AI 写，仅 4.7% 主动披露 — paulnovosad · 2026-11-11
- AlphaGenome 2 商业 API 上 Google Cloud 私测，权重承诺未来开源 — anshulkundaje · 2026-11-11
- 斯坦福 DyCraft:智能体分步生成 4D 动态场景,降低物理错误 — StanfordUniversity · 2026-11-11