Planning

Automatically Learning Hybrid Digital Twins of Dynamical Systems NeurIPS 2024 AvatarGPT: All-in-One Framework for Motion Understanding Planning Generation and Beyond CVPR 2024 BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024 BeamAggR: Beam Aggregation Reasoning over Multi-source Knowledge for Multi-hop Question Answering ACL 2024 Belief-State Query Policies for User-Aligned POMDPs NeurIPS 2024 Benchmarking Automated Theorem Proving with Large Language Models EMNLP 2024 Beyond Code: Evaluate Thought Steps for Complex Code Generation COLING 2024 Beyond Stationarity: Convergence Analysis of Stochastic Softmax Policy Gradient Methods ICLR 2024 BITS Pilani at SemEval-2024 Task 9: Prompt Engineering with GPT-4 for Solving Brainteasers SemEval 2024 BLADE: Benchmarking Language Model Agents for Data-Driven Science EMNLP 2024 Branch-Solve-Merge Improves Large Language Model Evaluation and Generation NAACL 2024 Budget-Constrained Tool Learning with Planning ACL 2024 Can Language Models Serve as Text-Based World Simulators? ACL 2024 Can large language models explore in-context? NeurIPS 2024 Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning AAAI 2024 Can LLM’s Generate Human-Like Wayfinding Instructions? Towards Platform-Agnostic Embodied Instruction Synthesis NAACL 2024 Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract) IJCAI 2024 CARFF: Conditional Auto-encoded Radiance Field for 3D Scene Forecasting ECCV 2024 Causally Aware Generative Adversarial Networks for Light Pollution Control AAAI 2024 Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties IJCAI 2024 Chain of Logic: Rule-Based Reasoning with Large Language Models ACL 2024 Chain-of-Table: Evolving Tables in the Reasoning Chain for Table Understanding ICLR 2024 Chain of Thought Empowers Transformers to Solve Inherently Serial Problems ICLR 2024 Choice-75: A Dataset on Decision Branching in Script Learning COLING 2024 CleanDiffuser: An Easy-to-use Modularized Library for Diffusion Models in Decision Making NeurIPS 2024