LeanMarathon — Web Pulse coverage

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