TY  - RPRT
TI  - LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
AU  - Yuanhe Zhang
AU  - Yuekai Sun
AU  - Taiji Suzuki
AU  - Jason D. Lee
AU  - Fanghui Liu
PY  - 2026
UR  - https://arxiv.org/abs/2606.05400
ID  - 2606.05400
ER  -