Automated Planning

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification ICML 2025 HiP-AD: Hierarchical and Multi-Granularity Planning with Deformable Attention for Autonomous Driving in a Single Decoder ICCV 2025 Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools NAACL 2025 Learning Hierarchical Task Knowledge for Planning AAAI 2025 Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach AAAI 2025 LLM×MapReduce-V3: Enabling Interactive In-Depth Survey Generation through a MCP-Driven Hierarchically Modular Agent System EMNLP 2025 LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 LTLf Synthesis Under Unreliable Input AAAI 2025 MCTS-RAG: Enhancing Retrieval-Augmented Generation with Monte Carlo Tree Search EMNLP 2025 Open-World Planning via Lifted Regression with LLM-Inferred Affordances for Embodied Agents ACL 2025 PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem Solving EMNLP 2025 RethinkMCTS: Refining Erroneous Thoughts in Monte Carlo Tree Search for Code Generation EMNLP 2025 Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025 Solving QNP and FOND+ with Generating, Testing and Forbidding IJCAI 2025 SPaRC: A Spatial Pathfinding Reasoning Challenge EMNLP 2025 TCP: a Benchmark for Temporal Constraint-Based Planning EMNLP 2025 Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025 Using Planning for Automated Testing of Video Games IJCAI 2025 VG-TVP: Multimodal Procedural Planning via Visually Grounded Text-Video Prompting AAAI 2025 Abstract Action Scheduling for Optimal Temporal Planning via OMT AAAI 2024 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024 Automated CPU Design by Learning from Input-Output Examples IJCAI 2024 Belief-State Query Policies for User-Aligned POMDPs NeurIPS 2024