PulseAugur
中
实时 08:57:16
实体 House of Graphs

House of Graphs

PulseAugur coverage of House of Graphs — every cluster mentioning House of Graphs 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 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_235380 ·

    自动化系统发现并证明图论猜想

    研究人员开发了AutoGraphForge，这是一个计算流程，旨在自动化图论猜想的发现、证伪和形式化。该系统采用反例引导方法，其中生成器基于不断增长的图及其不变量表来提出猜想。通过新颖性过滤器和对大量图及已知关系的测试来验证这些猜想。存活下来的猜想随后被翻译成形式化陈述，并使用神经证明器进行自动化证明，证明过程通过Lean 4形式化库进行验证。