04:00
2026-06-06
arxiv.org
artificial-intelligence
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Researchers have developed LeanMarathon, a multi-agent system that reliably autoformalizes complex mathematical proofs into the Lean theorem prover by breaking long-horizon tasks into parallel, recove…