PulseAugur
实时 10:20:46
实体 Abduction Prover

Abduction Prover

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

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_70327 ·

    新的归纳证明器可自动搜索 Isabelle/HOL 中的证明

    研究人员为 Isabelle/HOL 开发了一个归纳证明器,该工具旨在自动化表达性逻辑证明助手中的证明搜索。该证明器使用归纳推理来识别有用的猜想,从而为复杂的目标构建证明脚本。目的是降低依赖这些证明助手的形式化验证过程的成本并提高其效率。