PulseAugur
实时 14:03:19
实体 Pythagoras-Prover

Pythagoras-Prover

PulseAugur coverage of Pythagoras-Prover — every cluster mentioning Pythagoras-Prover 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_92404 ·

    Pythagoras-Prover 在高效形式证明方面达到最先进水平

    研究人员推出了Pythagoras-Prover,这是一系列专为形式推理任务效率而设计的新型定理证明器。这些模型利用课程学习和增强形式化技术来克服已验证数据和证明搜索复杂性的限制。值得注意的是,4B参数版本在一个关键基准上优于一个规模大得多的模型,而32B版本则设定了新的开源最先进水平。