{"entity": "LeanMarathon", "url": "https://wpnews.pro/entity/LeanMarathon", "count": 1, "articles": [{"slug": "leanmarathon-toward-reliable-ai-co-mathematicians-through-long-horizon-lean", "title": "LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization", "url": "https://wpnews.pro/news/leanmarathon-toward-reliable-ai-co-mathematicians-through-long-horizon-lean", "published_at": "2026-06-06 04:00:00+00:00"}]}