PulseAugur
实时 10:36:48
实体 ITPEval

ITPEval

PulseAugur coverage of ITPEval — every cluster mentioning ITPEval across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_154164 ·

    AI 通过新工具和基准推动形式化证明系统发展 · 跟踪 4 个来源

    研究人员为形式化定理证明开发了新工具和基准,该领域与 AI 的相关性日益增强。一篇论文详细介绍了一个用于 Event-B 的交互式序列证明器,该证明器用 Prolog 编码,在教学和证明分析方面具有优势。另一篇论文介绍了 ProB(一个基于 Prolog 的模型检查器)的扩展,用于动画和可视化 Prolog 转换系统,并应用于游戏策略评估和教学。第三项贡献引入了 ITPEval,这是第一个用于在不同交互式定理证明器 (ITP) 之间翻…