实体 IMO 2025

IMO 2025

PulseAugur coverage of IMO 2025 — every cluster mentioning IMO 2025 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_206327 · Aug 18 · 04:00

MechMath系统通过正式分解改进自动定理证明

一篇新研究论文介绍了MechMath，这是一个旨在改进自动定理证明的代理系统。MechMath利用Sorrifier驱动的正式分解工作流，比现有方法更有效地处理失败的证明尝试。通过使用Lean的'sorry'占位符隔离未解决的子目标，系统可以独立解决它们，避免了长上下文造成的退化或完全重新生成的低效率。在IMO 2025和Putnam 2025等基准测试上的实验表明，MechMath在证明效率方面具有显著优势。