Brown PLT 提出「人类判断即规格」：不用读形式语言也能用好 LLM

ezyang · x · 2026-11-10

Shriram Krishnamurthi 在与 ezyang 的讨论中转发 Brown PLT 博客新文《Human Judgment as a Specification》。观点是：把 LLM 输出接入形式化方法时，用户并不需要能读懂形式语言本身——人类对程序行为的判断可以直接充当规格，形式化工具负责把判断转化为可执行的约束，这是当前就能推进的方向。文章属于 Brown PLT 关于 LLM 与轻量形式化方法结合的系列研究之一。