实体 Self-play

Self-play

PulseAugur coverage of Self-play — every cluster mentioning Self-play across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_65968 · Jun 2 · 04:00

AI研究人员提出自玩式定理证明的理论框架

研究人员开发了一个理论框架，用于理解自玩式算法如何提高大型语言模型在定理证明方面的能力。该框架将定理形式化为图，并证明在特定条件下，证明者-猜想者系统可以使已证明定理的集合呈指数级增长。为解决人工构造的复杂定理问题，该论文提出了一种多样性度量和一种改进的猜想算法，该算法通过分析定理相似性来最大化这种多样性。