AI RESEARCH
Robust Asynchronous Planning via Auto-Formalization
arXiv CS.CL
•
ArXi:2606.00981v1 Announce Type: new LLMs can plan by either generating action sequences directly as a Planner or translating tasks into domain specific language for an external solver as a Formalizer. While most real-world tasks are asynchronous with non-uniform durations, concurrency, and execution-time constraints, existing benchmarks hardly cover them. We unify these asynchronous planning challenges under a single formulation and