实体 leanCoP

leanCoP

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_221241 · Aug 27 · 04:00

模仿学习提升自动定理证明性能

研究人员开发了一种新颖的自动定理证明方法，将连接图表的构建视为转移系统中的一个策略。该方法利用模仿学习从现有证明中训练的图神经网络来评估证明编辑。在M2k、MPTP2078-bushy和TPTP v9.2.1等数据集上进行测试时，这些学习到的策略显示出显著的改进，解决了多达46%的更多问题，并在固定步数预算内以比leanCoP系统快一个数量级的方式获得证明。