Planning

LLM-RSPF: Large Language Model-Based Robotic System Planning Framework for Domain Specific Use-Cases WACV 2025 LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025 LLMs Can Plan Only If We Tell Them ICLR 2025 LLMs Can Reason Faster Only If We Let Them ICML 2025 LLMs on interactive feature collections with implicit dynamic decision strategy COLING 2025 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving ACL 2025 Logically Constrained Decoding EMNLP 2025 Logical Reasoning with Outcome Reward Models for Test-Time Scaling EMNLP 2025 LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models ACL 2025 Logic: Long-form Outline Generation via Imitative and Critical Self-refinement EMNLP 2025 Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models NAACL 2025 LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration IJCAI 2025 Long Chain-of-Thought Fine-tuning via Understanding-to-Reasoning Transition EMNLP 2025 LRPLAN: A Multi-Agent Collaboration of Large Language and Reasoning Models for Planning with Implicit & Explicit Constraints EMNLP 2025 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 LTLf Synthesis Under Unreliable Input AAAI 2025 M^3PC: Test-time Model Predictive Control using Pretrained Masked Trajectory Model ICLR 2025 MaestroMotif: Skill Design from Artificial Intelligence Feedback ICLR 2025 Making Large Language Models into World Models with Precondition and Effect Knowledge COLING 2025 MamKO: Mamba-based Koopman operator for modeling and predictive control ICLR 2025 Manual2Skill: Learning to Read Manuals and Acquire Robotic Skills for Furniture Assembly Using Vision-Language Models RSS 2025 Manual-PA: Learning 3D Part Assembly from Instruction Diagrams ICCV 2025 Map Space Belief Prediction for Manipulation-Enhanced Mapping RSS 2025 MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025