PulseAugur
实时 03:33:25
实体 Self-Supervised Theorem Discovery in a Formal Axiomatic System

Self-Supervised Theorem Discovery in a Formal Axiomatic System

PulseAugur coverage of Self-Supervised Theorem Discovery in a Formal Axiomatic System — every cluster mentioning Self-Supervised Theorem Discovery in a Formal Axiomatic System 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_117468 ·

    AI代理自主发现数千个数学定理

    研究人员开发了一种自监督AI代理,该代理无需依赖人类提供的知识即可发现数学定理。该代理从基本公理和推理规则开始,通过在证明搜索和定理提取之间交替来逐步扩展有用的定理库。实验表明,当其发现被用作提示引理时,该代理能够发现数万个定理,并提高大型语言模型在基准问题上的性能。