Language Models as Higher-Order Planning Formalizers

Owen Jiang, Cassie Huang, Ashish Sabharwal +1

Recent work provides overwhelming evidence that LLMs, even those trained to scale their reasoning trace, quickly deteriorate at planning as problems become more complex. LLM-as-For…