Toward Secure and Reliable PDDL Formalization of Large Language Models with Planner-in-the-Loop Feedback
arXiv:2606.29700v1 Announce Type: new Abstract: Planning often requires symbolic specifications that are both executable and verifiable. For large language models deployed in autonomous or decision-su