On the Limit of Language Models as Planning Formalizers

Open in new window