PulseAugur
中
实时 01:09:50
实体 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 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_70327 ·

    新的归纳证明器提升了证明助手的自动化水平

    研究人员开发了一个归纳证明器，旨在增强 Isabelle/HOL 等证明助手在证明搜索中的自动化能力。该新工具旨在通过使用归纳推理来识别有用的猜想并为复杂目标构建证明脚本，从而降低形式化验证的成本。该归纳证明器被提出作为一种克服当前在表达性逻辑中证明搜索自动化局限性的方法。