{"type": "article", "title": "LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/leanmarathon-toward-reliable-ai-co-mathematicians-through-long-horizon-lean", "original_source": "https://arxiv.org/abs/2606.05400", "published": "2026-06-06T04:00:00+00:00", "accessed": "2026-06-06", "id": "leanmarathon-toward-reliable-ai-co-mathematicians-through-long-horizon-lean"}