TY  - RPRT
TI  - Toward Secure and Reliable PDDL Formalization of Large Language Models with Planner-in-the-Loop Feedback
AU  - Jiamei Jiang
AU  - Jiajing Zhang
AU  - Feifei Mo
AU  - Linjing Li
AU  - Daniel Zeng
PY  - 2026
UR  - https://arxiv.org/abs/2606.29700
ID  - 2606.29700
ER  -