实体
leanCoP
leanCoP
PulseAugur coverage of leanCoP — every cluster mentioning leanCoP across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的SATResetCoP证明器通过消除回溯来提高性能
研究人员开发了一种新颖的连接表证明器SATResetCoP，它通过直接利用增量SAT求解器来提高性能。与传统的回溯证明器不同，SATResetCoP避免了无用的表，而是启动新的表来为SAT求解器生成更多地面子句。这种方法已显示出显著的改进，在MPTP2078基准测试中解决了616个问题，比leanCoP风格的基线提高了49%。
-
模仿学习提升自动定理证明性能
研究人员开发了一种新颖的自动定理证明方法，将连接图表的构建视为转移系统中的一个策略。该方法利用模仿学习从现有证明中训练的图神经网络来评估证明编辑。在M2k、MPTP2078-bushy和TPTP v9.2.1等数据集上进行测试时，这些学习到的策略显示出显著的改进，解决了多达46%的更多问题，并在固定步数预算内以比leanCoP系统快一个数量级的方式获得证明。