Planning

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024 Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation AAAI 2024 Inference via Interpolation: Contrastive Representations Provably Enable Planning and Inference NeurIPS 2024 InfoCon: Concept Discovery with Generative and Discriminative Informativeness ICLR 2024 Instance-adaptive Zero-shot Chain-of-Thought Prompting NeurIPS 2024 Instructing Large Language Models to Identify and Ignore Irrelevant Conditions NAACL 2024 InstructNav: Zero-shot System for Generic Instruction Navigation in Unexplored Environment CoRL 2024 Instruct, Not Assist: LLM-based Multi-Turn Planning and Hierarchical Questioning for Socratic Code Debugging EMNLP 2024 Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions IJCAI 2024 Integrating Planning and Deep Reinforcement Learning via Automatic Induction of Task Substructures ICLR 2024 Intention Progression with Temporally Extended Goals IJCAI 2024 Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction AAAI 2024 Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024 INTERPRET: Interactive Predicate Learning from Language Feedback for Generalizable Task Planning RSS 2024 Introspective Planning: Aligning Robots' Uncertainty with Inherent Task Ambiguity NeurIPS 2024 Inverse optimal control as an errors-in-variables problem L4DC 2024 I Open at the Close: A Deep Reinforcement Learning Evaluation of Open Streets Initiatives AAAI 2024 I-PHYRE: Interactive Physical Reasoning ICLR 2024 Is Ego Status All You Need for Open-Loop End-to-End Autonomous Driving? CVPR 2024 Is Inverse Reinforcement Learning Harder than Standard Reinforcement Learning? A Theoretical Perspective ICML 2024 ItiNera: Integrating Spatial Optimization with Large Language Models for Open-domain Urban Itinerary Planning EMNLP 2024 It’s Not Easy Being Wrong: Large Language Models Struggle with Process of Elimination Reasoning ACL 2024 iVideoGPT: Interactive VideoGPTs are Scalable World Models NeurIPS 2024 Knowledge Planning in Large Language Models for Domain-Aligned Counseling Summarization EMNLP 2024 L2P-MIP: Learning to Presolve for Mixed Integer Programming ICLR 2024