★ 3
AutoGraphForge：自动化图论发现流水线
AutoGraphForge是一个自动化图论猜想、反驳、形式化与证明的流水线。它通过反例引导生成猜想，经新颖性过滤和大型图数据集测试，产生6522个幸存猜想，其中包含非平凡关系并已手工证明。后续阶段将猜想转化为Lean 4陈述，并集成两个神经证明器进行内核验证。
arXiv cs.AI59 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
AutoGraphForge是一个自动化图论猜想、反驳、形式化与证明的流水线。它通过反例引导生成猜想，经新颖性过滤和大型图数据集测试，产生6522个幸存猜想，其中包含非平凡关系并已手工证明。后续阶段将猜想转化为Lean 4陈述，并集成两个神经证明器进行内核验证。