ACM Symposium on Theory of Computing
PulseAugur coverage of ACM Symposium on Theory of Computing — every cluster mentioning ACM Symposium on Theory of Computing across labs, papers, and developer communities, ranked by signal.
-
ReLU 网络可以用更少的层表示最大值函数
研究人员已经证明，对于任何 n 高达 10 的情况，n 个实数的最大值都可以用具有两个隐藏层的 ReLU 网络精确表示。这是通过将问题转化为精确的有理线性代数问题，并通过计算求解必要的抵消来实现的。该研究还表明，对于 n > 10 的情况，最大值可以用比先前认为的更少的隐藏层来表示，从而改进了先前的界限。
-
Google AI 评审 10,000 篇论文，发现的错误多 34%
Google 开发了一个能够对科学论文进行同行评审的 AI 系统，已成功处理了 ICML 和 STOC 会议的约 10,000 篇投稿。一份详细介绍该系统的正式研究论文指出，与标准的零样本提示方法相比，该系统能识别出多 34% 的数学错误。此次部署为大规模、由 AI 驱动的科学评审流程树立了先例。
-
Google的Paper Assistant工具实现科学评审自动化
Google开发了Paper Assistant Tool (PAT)，这是一个旨在辅助科学评审过程的AI框架。PAT分析完整的稿件，以检查理论结果、验证实验并识别潜在缺陷，在SPOT基准测试中将数学错误召回率提高了34%。STOC和ICML会议的试点项目表明，PAT在捕获关键错误和提出改进建议方面非常有效，从而在保持人类监督的同时减轻了人类审稿人的负担。
-
Google Gemini工具为科学论文提供自动化反馈
Google Research开发了一款名为论文助手工具（PAT）的实验性AI工具，该工具利用Gemini 2.5 Deep Think的先进版本，为理论计算机科学论文提供自动化反馈。PAT已在STOC 2026会议上进行测试，旨在帮助研究人员在人类同行评审之前严格验证其工作并识别错误。早期结果显示用户满意度很高，超过80%的参与者认为反馈有帮助，97%愿意再次使用该工具。