Dice Question Streamline Icon: https://streamlinehq.com

LLM capability for naturalistic asynchronous planning

Determine whether large language models can correctly solve naturalistic asynchronous planning tasks by computing the shortest possible completion time for an optimal plan given a set of compulsory steps, their time durations, and step ordering constraints, under the assumption of infinite resources enabling maximal parallelism.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper defines naturalistic asynchronous planning as complex tasks that involve both sequential and parallel actions, where the objective is to compute the shortest possible time to complete all required steps subject to ordering constraints. This setting assumes infinite resources, allowing optimal parallelization, and can be cast as finding the longest path in a directed acyclic graph.

The authors note that solving such tasks requires the composition of multiple skills—time summation, time comparison, and constrained optimization—whose joint handling may challenge current LLMs. They introduce the AsyncHow benchmark and the Plan Like a Graph (PLaG) prompting technique to investigate LLM performance on these tasks, motivating the explicit question of whether LLMs are capable of solving them.

References

We note that asynchronous planning problems involve (i) time summation (correctly adding time durations), (ii) time comparison (correctly making time duration comparisons), and (iii) constrained reasoning (correctly solving constrained optimization problems) - this compositionality of skills makes asynchronous planning a challenging task, and it is yet unclear whether LLMs are capable of solving it.

Graph-enhanced Large Language Models in Asynchronous Plan Reasoning (2402.02805 - Lin et al., 5 Feb 2024) in Section 1, Introduction