Copertina

LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tantakoun, Marcus, Zhu, Xiaodan, Muise, Christian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Survey on Large Language Models for Automated Planning
di: Aghzal, Mohamed, et al.
Pubblicazione: (2025)

Make Planning Research Rigorous Again!
di: Katz, Michael, et al.
Pubblicazione: (2025)

BPMN to PDDL: Translating Business Workflows for AI Planning
di: Nie, Jasper, et al.
Pubblicazione: (2025)

On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)
di: Pallagani, Vishal, et al.
Pubblicazione: (2024)

Large Language Models for Planning: A Comprehensive and Systematic Survey
di: Cao, Pengfei, et al.
Pubblicazione: (2025)

Planning of Heuristics: Strategic Planning on Large Language Models with Monte Carlo Tree Search for Automating Heuristic Optimization
di: Wang, Hui, et al.
Pubblicazione: (2025)

Automated Retrosynthesis Planning of Macromolecules Using Large Language Models and Knowledge Graphs
di: Ma, Qinyu, et al.
Pubblicazione: (2025)

TRIP-PAL: Travel Planning with Guarantees by Combining Large Language Models and Automated Planners
di: de la Rosa, Tomas, et al.
Pubblicazione: (2024)

Leveraging LLMs for Mission Planning in Precision Agriculture
di: Zuzuárregui, Marcos Abel, et al.
Pubblicazione: (2025)

On the Limits of Innate Planning in Large Language Models
di: Schepanowski, Charles, et al.
Pubblicazione: (2025)

Leveraging Pre-trained Large Language Models with Refined Prompting for Online Task and Motion Planning
di: Guo, Huihui, et al.
Pubblicazione: (2025)

PlanU: Large Language Model Reasoning through Planning under Uncertainty
di: Deng, Ziwei, et al.
Pubblicazione: (2025)

Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models
di: Zheng, Zi'ou, et al.
Pubblicazione: (2024)

PlanGenLLMs: A Modern Survey of LLM Planning Capabilities
di: Wei, Hui, et al.
Pubblicazione: (2025)

Plan-on-Graph: Self-Correcting Adaptive Planning of Large Language Model on Knowledge Graphs
di: Chen, Liyi, et al.
Pubblicazione: (2024)

GenePlan: Evolving Better Generalized PDDL Plans using Large Language Models
di: Murray, Andrew, et al.
Pubblicazione: (2026)

RETAIL: Towards Real-world Travel Planning for Large Language Models
di: Deng, Bin, et al.
Pubblicazione: (2025)

Revisiting the Travel Planning Capabilities of Large Language Models
di: Zhang, Bo-Wen, et al.
Pubblicazione: (2026)

Towards High-Level Modelling in Automated Planning
di: Sureda, Carla Davesa, et al.
Pubblicazione: (2024)

Large Language Models Can Take False First Steps at Inference-time Planning
di: Yan, Haijiang, et al.
Pubblicazione: (2026)

Zero-Shot Large Language Model Agents for Fully Automated Radiotherapy Treatment Planning
di: Yang, Dongrong, et al.
Pubblicazione: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2024)

Large Language Models as Planning Domain Generators
di: Oswald, James, et al.
Pubblicazione: (2024)

Large Language Model for Participatory Urban Planning
di: Zhou, Zhilun, et al.
Pubblicazione: (2024)

PseudoAct: Leveraging Pseudocode Synthesis for Flexible Planning and Action Control in Large Language Model Agents
di: Yihan, et al.
Pubblicazione: (2026)

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
di: Hao, Yilun, et al.
Pubblicazione: (2024)

LASP: Surveying the State-of-the-Art in Large Language Model-Assisted AI Planning
di: Li, Haoming, et al.
Pubblicazione: (2024)

NormCode: A Semi-Formal Language for Auditable AI Planning
di: Guan, Xin, et al.
Pubblicazione: (2025)

CodEv: An Automated Grading Framework Leveraging Large Language Models for Consistent and Constructive Feedback
di: Tseng, En-Qi, et al.
Pubblicazione: (2025)

GTool: Graph Enhanced Tool Planning with Large Language Model
di: Chen, Wenjie, et al.
Pubblicazione: (2025)

Code-Driven Planning in Grid Worlds with Large Language Models
di: Aravindan, Ashwath Vaithinathan, et al.
Pubblicazione: (2025)

Improving Large Language Model Planning with Action Sequence Similarity
di: Zhao, Xinran, et al.
Pubblicazione: (2025)

Abstraction Generation for Generalized Planning with Pretrained Large Language Models
di: Cui, Zhenhe, et al.
Pubblicazione: (2026)

Automatically Planning Optimal Parallel Strategy for Large Language Models
di: Li, Zongbiao, et al.
Pubblicazione: (2024)

UrbanPlanBench: A Comprehensive Urban Planning Benchmark for Evaluating Large Language Models
di: Zheng, Yu, et al.
Pubblicazione: (2025)

Iterative Formalization and Planning in Partially Observable Environments
di: Gong, Liancheng, et al.
Pubblicazione: (2025)

On the Roles of LLMs in Planning: Embedding LLMs into Planning Graphs
di: Zhuo, Hankz Hankui, et al.
Pubblicazione: (2024)

APT: Architectural Planning and Text-to-Blueprint Construction Using Large Language Models for Open-World Agents
di: Chen, Jun Yu, et al.
Pubblicazione: (2024)

LLM+MAP: Bimanual Robot Task Planning using Large Language Models and Planning Domain Definition Language
di: Chu, Kun, et al.
Pubblicazione: (2025)

Automated Hazard Detection in Construction Sites Using Large Language and Vision-Language Models
di: Sahraoui, Islem
Pubblicazione: (2025)