Planning

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NeurIPS 2024 QCQP-Net: Reliably learning feasible alternating current optimal power flow solutions under constraints L4DC 2024 QuBE: Question-based Belief Enhancement for Agentic LLM Reasoning EMNLP 2024 Query-Dependent Prompt Evaluation and Optimization with Offline Inverse RL ICLR 2024 Query Routing for Homogeneous Tools: An Instantiation in the RAG Scenario EMNLP 2024 READ: Retrieval-Enhanced Asymmetric Diffusion for Motion Planning CVPR 2024 Real Time GAZED: Online Shot Selection and Editing of Virtual Cameras From Wide-Angle Monocular Video Recordings WACV 2024 Real-time safe control of neural network dynamic models with sound approximation L4DC 2024 Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies EMNLP 2024 Reasoning Multi-Agent Behavioral Topology for Interactive Autonomous Driving NeurIPS 2024 Recommender Ecosystems: A Mechanism Design Perspective on Holistic Modeling and Optimization AAAI 2024 Reconciling Spatial and Temporal Abstractions for Goal Representation ICLR 2024 Rectangle Search: An Anytime Beam Search AAAI 2024 Recursively-Constrained Partially Observable Markov Decision Processes UAI 2024 Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees L4DC 2024 Refining Minimax Regret for Unsupervised Environment Design ICML 2024 Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis AAAI 2024 Reinforcement Learning Policy as Macro Regulator Rather than Macro Placer NeurIPS 2024 Reinforcement Learning with Adaptive Regularization for Safe Control of Critical Systems NeurIPS 2024 Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards NeurIPS 2024 RePair: Automated Program Repair with Process-based Feedback ACL 2024 Resisting Stochastic Risks in Diffusion Planners with the Trajectory Aggregation Tree ICML 2024 Retrieval-Augmented Code Generation for Situated Action Generation: A Case Study on Minecraft EMNLP 2024 Retrieval Guided Music Captioning via Multimodal Prefixes IJCAI 2024 Retrieve-Plan-Generation: An Iterative Planning and Answering Framework for Knowledge-Intensive LLM Generation EMNLP 2024