TY  - RPRT
TI  - LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models
AU  - Marcus Tantakoun
AU  - Xiaodan Zhu
AU  - Christian Muise
PY  - 2025
UR  - https://arxiv.org/abs/2503.18971
ID  - 2503.18971
ER  -