@misc{indiciaebfe71a4e040a,
  title = {LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization},
  author = {Yuanhe Zhang and Yuekai Sun and Taiji Suzuki and Jason D. Lee and Fanghui Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2606.05400},
  note = {Source identifier: 2606.05400}
}