实体
DeepSeek-Prover-V2-671B
DeepSeek-Prover-V2-671B
PulseAugur coverage of DeepSeek-Prover-V2-671B — every cluster mentioning DeepSeek-Prover-V2-671B across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
自动化系统发现并证明图论猜想
研究人员开发了AutoGraphForge，这是一个计算流程，旨在自动化图论猜想的发现、证伪和形式化。该系统采用反例引导方法，其中生成器基于不断增长的图及其不变量表来提出猜想。通过新颖性过滤器和对大量图及已知关系的测试来验证这些猜想。存活下来的猜想随后被翻译成形式化陈述，并使用神经证明器进行自动化证明，证明过程通过Lean 4形式化库进行验证。
-
Pythagoras-Prover 在高效形式证明方面达到最先进水平
研究人员推出了Pythagoras-Prover，这是一系列专为形式推理任务效率而设计的新型定理证明器。这些模型利用课程学习和增强形式化技术来克服已验证数据和证明搜索复杂性的限制。值得注意的是，4B参数版本在一个关键基准上优于一个规模大得多的模型，而32B版本则设定了新的开源最先进水平。