AI RESEARCH

Iterative Formalization and Planning in Partially Observable Environments

arXiv CS.CL

ArXi:2505.13126v3 Announce Type: replace-cross Using LLMs not to predict plans but to formalize an environment into the Planning Domain Definition Language (PDDL) has been shown to improve performance and control. While most existing methodology only applies to fully observable environments, we adapt to the realistic and challenging partially observable environments without sufficient information to make a complete plan.