On the Limit of Language Models as Planning Formalizers

Cassie Huang, Li Zhang

Large Language Models have been found to create plans that are neither executable nor verifiable in grounded environments. An emerging line of work demonstrates success in using th…