[
控场AI
]
知识动态
实体
播客
深度
开发者
关于
Get CLI
EN
基准
NTP4VC
面向程序验证条件的形式化基准，用于评估验证条件生成与证明的能力
时间轴 (近 90 天)
10月30日
EasyProver 在 NTP4VC 上解决了 597/600 个验证条件。
待验证
50%
全部知识事实 (1)
待验证
EasyProver 在 NTP4VC 上解决了 597/600 个验证条件。
50%
来源文章
EasyProver：递归智能体如何攻克真实代码形式化验证
10月30日