[
控场AI
]
知识动态
实体
播客
深度
开发者
关于
Get CLI
EN
基准
VERINA
形式化验证基准，包含 189 个验证任务，支持通过证明或反证完成
时间轴 (近 90 天)
10月30日
EasyProver 完成了 VERINA 的全部 189 个任务，方式包括证明与反证两种。
待验证
50%
全部知识事实 (1)
待验证
EasyProver 完成了 VERINA 的全部 189 个任务，方式包括证明与反证两种。
50%
来源文章
EasyProver：递归智能体如何攻克真实代码形式化验证
10月30日