4 papers · 1 filter
Planning Commitment of LLM under Partial Observability
Cassie Huang, Zhanwei Cao, Yeawon Lee +7
LLM-based planning agents commit to plans of different lengths before interacting with a partially observable environment. Some aggressively commit to a long plan based on assumpti…
Representation Alignment as a Bottleneck in LLM-Based Retrosynthesis Planning
Hyunwoo Yoo, Cassie Huang, Haebin Shin +2
While LLMs show promise in general reasoning, symbolic planning in chemistry remains a bottleneck. Direct ''SMILES-to-PDDL'' attempts fail because they force models to juggle chemi…
Robust Asynchronous Planning via Auto-Formalization
Jiayi Zhang, Jianing Yin, Ben Zhou +1
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 asynchrono…
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…