X账号:LLM让形式化验证转向规格审查
X账号 @jneu_net 称,LLM可大幅减少形式化验证中的证明编写工作,但人类仍需审查规格是否准确反映程序意图和用户预期。
正在加载…
Joachim Neu 是 a16z crypto 博士后研究员,研究区块链共识与去中心化系统安全
Joachim Neu 是 a16z crypto 博士后研究员,研究区块链共识与去中心化系统安全。他在斯坦福大学获博士学位,导师为 David Tse,研究兴趣涵盖分布式计算、系统及应用密码学。
依据已核实资料与关联公开报道,按时间顺序整理。
暂无已核实的人物事迹。
X账号 @jneu_net 称,LLM可大幅减少形式化验证中的证明编写工作,但人类仍需审查规格是否准确反映程序意图和用户预期。
X账号 @jneu_net 分享称,现在有许多不同的游戏可以用来学习Lean,并附链接。