Planning

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning NeurIPS 2021 Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021 Taskography: Evaluating robot task planning over large 3D scene graphs CoRL 2021 Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks AAAI 2021 Temporally Abstract Partial Models NeurIPS 2021 The Complexity Landscape of Claim-Augmented Argumentation Frameworks AAAI 2021 The Fewer the Merrier: Pruning Preferred Operators with Novelty IJCAI 2021 The Impact of Data on the Stability of Learning-Based Control L4DC 2021 The Logical Options Framework ICML 2021 The Power of Literal Equivalence in Model Counting AAAI 2021 The Road To Know-Where: An Object-and-Room Informed Sequential BERT for Indoor Vision-Language Navigation ICCV 2021 Tightening the Dependence on Horizon in the Sample Complexity of Q-Learning ICML 2021 Time-Independent Planning for Multiple Moving Agents AAAI 2021 Timing Generating Networks: Neural Network Based Precise Turn-Taking Timing Prediction in Multiparty Conversation Interspeech 2021 Top-m identification for linear bandits AISTATS 2021 Topological Planning With Transformers for Vision-and-Language Navigation CVPR 2021 Towards Navigation by Reasoning over Spatial Configurations ACL 2021 Traffic Shaping in E-Commercial Search Engine: Multi-Objective Online Welfare Maximization AAAI 2021 Transformation Driven Visual Reasoning CVPR 2021 Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints IJCAI 2021 Translation-based Supervision for Policy Generation in Simultaneous Neural Machine Translation EMNLP 2021 Trusted-maximizers entropy search for efficient Bayesian optimization UAI 2021 Truth-Conditional Captions for Time Series Data EMNLP 2021 Unanswerable Question Correction in Question Answering over Personal Knowledge Base AAAI 2021 Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric L4DC 2021