computational-pipeline

标签

#computational-pipeline

AutoGraphForge：走向自动化图论发现

arXiv cs.AI ↗ · 2026-09-04 缓存

本文介绍了AutoGraphForge，这是一个用于自动化图论发现的计算管道，它生成猜想，针对大数据集进行测试，并使用神经证明器在Lean 4中进行形式化验证。

0 人收藏 0 人点赞