跳到正文
热点事件持续更新

LLM2Cert框架发布验证证书

1 篇报道1 个报道来源5 小时前更新

先了解这件事

AI 综述

2026年10月23日，研究者发布LLM2Cert框架与DynaCertBench基准。 该框架利用LLM合成Lyapunov函数与屏障证书，并通过SMT或Lean验证。基于含105个实例的DynaCertBench测试，成功验证81个实例，准确率达77.1%。 相比无反馈方案提升17.1个百分点，且能解决22个All-SMT无法处理的固定证书实例。代码与数据已开源。

AI 根据报道生成 · 2 小时前更新

最新进展10月23日 12:00
LLM2Cert：LLM 合成证书及 SMT/Lean 验证框架

报道时间线

沿着报道，了解事件的不同侧面。

10月23日
  1. arXiv · ML
    LLM2Cert：LLM 合成证书及 SMT/Lean 验证框架

    研究提出 LLM2Cert 框架，通过 LLM 合成 Lyapunov 函数与屏障证书，并利用 SMT 求解器或 Lean 代理进行验证。该框架基于新基准 DynaCertBench（含 105 个实例）测试，成功验证 81 个实例，准确率达 77.1%，比无反馈的一次性提案提升 17.1 个百分点。 LLM2Cert 能验证 22 个 All-SMT 无法解决的固定证书实例，代码与数据已开源。

本事件热度走势

可比范围当前
9
可比范围峰值
910月23日 15:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。