A Training Data Recipe to Accelerate A* Search with Language Models Jul 13, 2024 Heuristic Search Language Modelling
Code Code Available 0Microgrid Planner: A Distributed Energy Resource Sizing Method Jun 27, 2024 Heuristic Search
— Unverified 0Q*: Improving Multi-step Reasoning for LLMs with Deliberative Planning Jun 20, 2024 GSM8K Heuristic Search
— Unverified 0Diffusion-based Reinforcement Learning for Dynamic UAV-assisted Vehicle Twins Migration in Vehicular Metaverses Jun 8, 2024 Heuristic Search Reinforcement Learning (RL)
— Unverified 0SLOPE: Search with Learned Optimal Pruning-based Expansion Jun 7, 2024 Heuristic Search Motion Planning
Code Code Available 0Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives Jun 5, 2024 Decision Making Efficient Exploration
Code Code Available 0Using Constraints to Discover Sparse and Alternative Subgroup Descriptions Jun 3, 2024 Binary Classification Heuristic Search
Code Code Available 0Crafting a Pogo Stick in Minecraft with Heuristic Search (Extended Abstract) Jun 1, 2024 Heuristic Search Minecraft
Code Code Available 0Consolidating LAMA with Best-First Width Search Apr 26, 2024 Heuristic Search
— Unverified 0HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms Apr 16, 2024 counterfactual Heuristic Search
— Unverified 0Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning Apr 8, 2024 Heuristic Search
— Unverified 0Improving Learnt Local MAPF Policies with Heuristic Search Mar 29, 2024 Heuristic Search Multi-Agent Path Finding
— Unverified 0Policy-Space Search: Equivalences, Improvements, and Compression Mar 28, 2024 Heuristic Search
— Unverified 0Can Large Language Models Play Games? A Case Study of A Self-Play Approach Mar 8, 2024 Decision Making Hallucination
— Unverified 0AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems Jan 24, 2024 Heuristic Search
— Unverified 0Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes Jan 3, 2024 Decision Making Heuristic Search
Code Code Available 0Unified Task and Motion Planning using Object-centric Abstractions of Motion Constraints Dec 29, 2023 Computational Efficiency Heuristic Search
— Unverified 0Towards Efficient Verification of Quantized Neural Networks Dec 20, 2023 Heuristic Search Quantization
Code Code Available 0Rectangle Search: An Anytime Beam Search (Extended Version) Dec 19, 2023 Heuristic Search
Code Code Available 0Planning for the Efficient Updating of Mutual Fund Portfolios Nov 27, 2023 Heuristic Search Management
— Unverified 0A More General Theory of Diagnosis from First Principles Sep 28, 2023 Heuristic Search
Code Code Available 0Genetic Engineering Algorithm (GEA): An Efficient Metaheuristic Algorithm for Solving Combinatorial Optimization Problems Sep 28, 2023 Combinatorial Optimization Diversity
— Unverified 0Heuristic Search for Path Finding with Refuelling Sep 19, 2023 Heuristic Search
— Unverified 0An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge Aug 31, 2023 Heuristic Search object-detection
Code Code Available 0"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming Aug 30, 2023 counterfactual Counterfactual Reasoning
— Unverified 0SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge Aug 24, 2023 Heuristic Search World Knowledge
— Unverified 0Monte-Carlo Tree Search for Multi-Agent Pathfinding: Preliminary Results Jul 25, 2023 Heuristic Search
— Unverified 0Finding Optimal Diverse Feature Sets with Alternative Feature Selection Jul 21, 2023 Binary Classification feature selection
Code Code Available 0A Multi-Heuristic Search-based Motion Planning for Automated Parking Jul 15, 2023 Heuristic Search Motion Planning
— Unverified 0Automatic Deduction Path Learning via Reinforcement Learning with Environmental Correction Jun 16, 2023 Heuristic Search Hierarchical Reinforcement Learning
— Unverified 0Multi-Robot Path Planning Combining Heuristics and Multi-Agent Reinforcement Learning Jun 2, 2023 Collision Avoidance Heuristic Search
— Unverified 0Scale-Adaptive Balancing of Exploration and Exploitation in Classical Planning May 16, 2023 Heuristic Search
— Unverified 0Opti Code Pro: A Heuristic Search-based Approach to Code Refactoring May 12, 2023 Heuristic Search
— Unverified 0Combining Monte Carlo Tree Search and Heuristic Search for Weighted Vertex Coloring Apr 24, 2023 Heuristic Search
Code Code Available 0Search-Map-Search: A Frame Selection Paradigm for Action Recognition Apr 20, 2023 Action Recognition Heuristic Search
— Unverified 0MEMA Runtime Framework: Minimizing External Memory Accesses for TinyML on Microcontrollers Apr 12, 2023 Heuristic Search Scheduling
— Unverified 0A Novel Point-based Algorithm for Multi-agent Control Using the Common Information Approach Apr 10, 2023 Heuristic Search
Code Code Available 0Heuristic Search For Physics-Based Problems: Angry Birds in PDDL+ Mar 29, 2023 Heuristic Search
— Unverified 0Heuristic Search for Multi-Objective Probabilistic Planning Mar 25, 2023 Heuristic Search
— Unverified 0BeamAttack: Generating High-quality Textual Adversarial Examples through Beam Search and Mixed Semantic Spaces Mar 9, 2023 Heuristic Search
Code Code Available 0Bayesian Decision Trees via Tractable Priors and Probabilistic Context-Free Grammars Feb 15, 2023 Heuristic Search
— Unverified 0Optimization of Topology-Aware Job Allocation on a High-Performance Computing Cluster by Neural Simulated Annealing Feb 6, 2023 Heuristic Search Scheduling
Code Code Available 0Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects Jan 26, 2023 Heuristic Search
Code Code Available 0Asynchronously Trained Distributed Topographic Maps Jan 20, 2023 Heuristic Search
— Unverified 0Statistical Distance Based Deterministic Offspring Selection in SMC Methods Dec 23, 2022 Heuristic Search
— Unverified 0An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning Dec 14, 2022 Heuristic Search
— Unverified 0Ultrafast learning of 4-node hybridization cycles in phylogenetic networks using algebraic invariants Nov 30, 2022 Heuristic Search
Code Code Available 0Encoder-Decoder Model for Suffix Prediction in Predictive Monitoring Nov 29, 2022 Decoder Heuristic Search
— Unverified 0Shielding in Resource-Constrained Goal POMDPs Nov 28, 2022 Heuristic Search
Code Code Available 0Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning Nov 23, 2022 Heuristic Search
Code Code Available 0