# LeanMarathon

> Entity coverage from Web Pulse
> Last updated: 2026-06-06T06:38:16.530744+00:00
> 1 articles mentioning **LeanMarathon**

- [LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization](https://wpnews.pro/news/leanmarathon-toward-reliable-ai-co-mathematicians-through-long-horizon-lean) — 2026-06-06