Planning

Learning Neural Contracting Dynamics: Extended Linearization and Global Guarantees NeurIPS 2024 Learning Neuro-Symbolic Abstractions for Robot Planning and Learning AAAI 2024 Learning Planning Abstractions from Language ICLR 2024 Learning Planning-based Reasoning by Trajectories Collection and Process Reward Synthesizing EMNLP 2024 Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis AAAI 2024 Learning Safe Action Models with Partial Observability AAAI 2024 Learning soft constrained MPC value functions: Efficient MPC design and implementation providing stability and safety guarantees L4DC 2024 Learning Temporal Distances: Contrastive Successor Features Can Provide a Metric Structure for Decision-Making ICML 2024 Learning to be Smooth: An End-to-End Differentiable Particle Smoother NeurIPS 2024 Learning to Handle Complex Constraints for Vehicle Routing Problems NeurIPS 2024 Learning to Learn in Interactive Constraint Acquisition AAAI 2024 Learning to Optimize Permutation Flow Shop Scheduling via Graph-Based Imitation Learning AAAI 2024 Learning to Plan and Generate Text with Citations ACL 2024 Learning to Plan by Updating Natural Language EMNLP 2024 Learning to Plan for Retrieval-Augmented Large Language Models from Knowledge Graphs EMNLP 2024 Learning to Reason Iteratively and Parallelly for Complex Visual Reasoning Scenarios NeurIPS 2024 Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process IJCAI 2024 Learn to Follow: Decentralized Lifelong Multi-Agent Pathfinding via Planning and Learning AAAI 2024 LEGO-Prover: Neural Theorem Proving with Growing Libraries ICLR 2024 Lemur: Harmonizing Natural Language and Code for Language Agents ICLR 2024 Lemur: Integrating Large Language Models in Automated Program Verification ICLR 2024 “Let’s Argue Both Sides”: Argument Generation Can Force Small Models to Utilize Previously Inaccessible Reasoning Capabilities EMNLP 2024 Leveraging Environment Interaction for Automated PDDL Translation and Planning with Large Language Models NeurIPS 2024 Leveraging Low-Rank and Sparse Recurrent Connectivity for Robust Closed-Loop Control ICLR 2024 Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024