LLM2Cert 发布:LLM+Lean 自动合成安全证书,105 个系统通过 77%
wellecks · x · 2026-10-27
来自 @psong1 与 @Zhipeng0727 联合主导的新工作 LLM2Cert,号称是首个把 Lean 定理证明器引入智能体式合成与验证的端到端框架,对象是动力系统的 Lyapunov/障碍(barrier)安全与稳定性证书。
- 在 105 个基准动力系统中,自动合成并通过形式化验证安全/稳定性证书的有 81 个,通过率 77%
- 在公共子集上,成功数量是此前 5 条已有流水线合计的 2.1 倍
- 详细内容见作者后续线程
所属事件:LLM2Cert 框架发布：LLM 合成动力系统安全证书并自动验证(2 条相关)→
「研究」频道最新
- 研究者与 LLM 讨论论文后,让模型改写出 12 页更清晰版本(正确性未验证) — thomasahle · 2026-10-27
- OpenAI 宣布数学新成果，被指抢先公开社区数学家 YM4 工作 — burny_tech · 2026-10-27
- 纽约将办可靠 AI 见面会，首期聚焦合成数据 — karen_ullrich · 2026-10-27
- Meta 发布 InteractiveWorld：可验证环境测试 MLLM 能否当人类现场助手 — meta · 2026-10-27
- 小米 MiLM 联合武大推出 WorldCast：大角度运镜下角色视频保持世界一致 — Lei Cao · 2026-10-27
- UCL 发布持续学习基准 CLE：最强前沿模型仅通过 47.7% 关卡 — UniversityCollegeLondon · 2026-10-27