Planning

Exact Verification of ReLU Neural Control Barrier Functions NeurIPS 2023 EXCALIBUR: Encouraging and Evaluating Embodied Exploration CVPR 2023 Expansive Latent Planning for Sparse Reward Offline Reinforcement Learning CoRL 2023 Explicit Planning Helps Language Models in Logical Reasoning EMNLP 2023 Exploiting Proximity-Aware Tasks for Embodied Social Navigation ICCV 2023 Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change ACL 2023 Expressive Optimal Temporal Planning via Optimization Modulo Theory AAAI 2023 Faithful Question Answering with Monte-Carlo Planning ACL 2023 Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search ICLR 2023 Fault-Tolerant Offline Multi-Agent Path Planning AAAI 2023 Filter-Aware Model-Predictive Control L4DC 2023 Find What You Want: Learning Demand-conditioned Object Attribute Space for Demand-driven Navigation NeurIPS 2023 Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop RSS 2023 Formal Explanations of Neural Network Policies for Planning IJCAI 2023 Formally Verified SAT-Based AI Planning AAAI 2023 Formal Mathematics Statement Curriculum Learning ICLR 2023 Front-to-End Bidirectional Heuristic Search with Consistent Heuristics: Enumerating and Evaluating Algorithms and Bounds IJCAI 2023 Functional causal Bayesian optimization UAI 2023 Gallagher at SemEval-2023 Task 5: Tackling Clickbait with Seq2Seq Models SemEval 2023 GeoDRL: A Self-Learning Framework for Geometry Problem Solving using Reinforcement Learning in Deductive Reasoning ACL 2023 Gesture-Informed Robot Assistance via Foundation Models CoRL 2023 Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract) IJCAI 2023 Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus AAAI 2023 Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments CoRL 2023 Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) IJCAI 2023