Verify--Backtrack Loop: Structured Precondition Recovery for Long-Horizon Language Agents.

arXiv:2610.41564v1 Announce Type: new Abstract: Language agents increasingly tackle long-horizon tasks in interactive environments, where actions often depend on latent preconditions. The core difficulty is not trajectory length but recovery: when a prerequisi