LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization 文章

ArXiv CS.CL2026-06-05NEWSen作者: Yuanhe Zhang, Yuekai Sun, Taiji Suzuki, Jason D. Lee, Fanghui Liu