Iterative Formalization and Planning in Partially Observable Environments
DGX agentarXiv:2505.13126v3 Announce Type: replace-cross Abstract: Using LLMs not to predict plans but to formalize an environment into the Planning Domain Definition Language (PDDL) has been shown to improve