
LEAD Breaks LLM No-Recovery Bottleneck
Long-horizon LLM execution is unstable due to a 'no-recovery bottleneck' from extreme decomposition and non-uniform errors. LEAD uses lookahead-enhanced atomic decomposition with short-horizon validation and overlapping rollouts to enable error correction. This allows o4-mini to solve Checkers Jumping puzzles up to n=13, surpassing n=11 limits.




