ENTITY
IMO 2025
IMO 2025
PulseAugur coverage of IMO 2025 — every cluster mentioning IMO 2025 across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New AI framework boosts theorem proving with mutation-enhanced skill evolution
Researchers have developed SkillEvoLean, a novel framework for enhancing large language model agents in formal theorem proving. This method employs mutation-enhanced skill evolution, which updates both a high-level solv…
-
MechMath system improves automated theorem proving with formal decomposition
A new research paper introduces MechMath, an agent system designed to improve automated theorem proving. MechMath utilizes a Sorrifier-driven formal decomposition workflow to handle failed proof attempts more efficientl…