@misc{indiciae8f4d178b69d9,
  title = {Toward Secure and Reliable PDDL Formalization of Large Language Models with Planner-in-the-Loop Feedback},
  author = {Jiamei Jiang and Jiajing Zhang and Feifei Mo and Linjing Li and Daniel Zeng},
  year = {2026},
  url = {https://arxiv.org/abs/2606.29700},
  note = {Source identifier: 2606.29700}
}