Planning

An Approach to Quantify Plans Robustness in Real-world Applications IJCAI 2025 An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025 AnchorCoT: Anchors Pave the Way for Multi-hop Reasoning ACL 2025 Anchor Search: A Unified Framework for Suboptimal Bidirectional Search AAAI 2025 AndroidWorld: A Dynamic Benchmarking Environment for Autonomous Agents ICLR 2025 Anytime Multi-Agent Path Finding with an Adaptive Delay-Based Heuristic AAAI 2025 APEX-MR: Multi-Robot Asynchronous Planning and Execution for Cooperative Assembly RSS 2025 A Review of Prominent Paradigms for LLM-Based Agents: Tool Use, Planning (Including RAG), and Feedback Learning COLING 2025 AriGraph: Learning Knowledge Graph World Models with Episodic Memory for LLM Agents IJCAI 2025 ARise: Towards Knowledge-Augmented Reasoning via Risk-Adaptive Search ACL 2025 Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework ACL 2025 ASAP: Aligning Simulation and Real-World Physics for Learning Agile Humanoid Whole-Body Skills RSS 2025 AskToAct: Enhancing LLMs Tool Use via Self-Correcting Clarification EMNLP 2025 ASP Chef Chats with Large Language Models IJCAI 2025 ASPERA: A Simulated Environment to Evaluate Planning for Complex Action Execution ACL 2025 Assimilation and Accommodation: Task-Adaptive Hierarchical Abstraction for Solving Web Tasks ACL 2025 A Structural Complexity Analysis of Hierarchical Task Network Planning IJCAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025 Attractor-based Closed List Search: Sparsifying the Closed List for Efficient Memory-Constrained Planning IJCAI 2025 AttributeForge: An Agentic LLM Framework for Automated Product Schema Modeling EMNLP 2025 AutoDSPy: Automating Modular Prompt Design with Reinforcement Learning for Small and Large Language Models EMNLP 2025 Automated Creation of Reusable and Diverse Toolsets for Enhancing LLM Reasoning AAAI 2025 Automated Proof Generation for Rust Code via Self-Evolution ICLR 2025 Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025 Automatic Curriculum Expert Iteration for Reliable LLM Reasoning ICLR 2025