Robust Asynchronous Planning via Auto-Formalization
arXiv:2606.00981v2 Announce Type: replace Abstract: LLMs can plan by generating schedules directly as a Planner, or by translating a task into a formal specification for a solver as a Formalizer. Most real-world tasks are asynchronous, with non-uniform durations, concurrency, and execution-time chan