SOTAVerified

Heuristic Search

Heuristic Search is a problem-solving method that uses practical rules or "guides" (heuristics) to find solutions more quickly than exhaustive search, by focusing on the most promising paths first.

Papers

Showing 51100 of 261 papers

TitleStatusHype
A Training Data Recipe to Accelerate A* Search with Language ModelsCode0
Microgrid Planner: A Distributed Energy Resource Sizing Method0
Q*: Improving Multi-step Reasoning for LLMs with Deliberative Planning0
Diffusion-based Reinforcement Learning for Dynamic UAV-assisted Vehicle Twins Migration in Vehicular Metaverses0
SLOPE: Search with Learned Optimal Pruning-based ExpansionCode0
Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability ObjectivesCode0
Using Constraints to Discover Sparse and Alternative Subgroup DescriptionsCode0
Crafting a Pogo Stick in Minecraft with Heuristic Search (Extended Abstract)Code0
Consolidating LAMA with Best-First Width Search0
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms0
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning0
Improving Learnt Local MAPF Policies with Heuristic Search0
Policy-Space Search: Equivalences, Improvements, and Compression0
Can Large Language Models Play Games? A Case Study of A Self-Play Approach0
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems0
Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision ProcessesCode0
Unified Task and Motion Planning using Object-centric Abstractions of Motion Constraints0
Towards Efficient Verification of Quantized Neural NetworksCode0
Rectangle Search: An Anytime Beam Search (Extended Version)Code0
Planning for the Efficient Updating of Mutual Fund Portfolios0
A More General Theory of Diagnosis from First PrinciplesCode0
Genetic Engineering Algorithm (GEA): An Efficient Metaheuristic Algorithm for Solving Combinatorial Optimization Problems0
Heuristic Search for Path Finding with Refuelling0
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the EdgeCode0
"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming0
SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge0
Monte-Carlo Tree Search for Multi-Agent Pathfinding: Preliminary Results0
Finding Optimal Diverse Feature Sets with Alternative Feature SelectionCode0
A Multi-Heuristic Search-based Motion Planning for Automated Parking0
Automatic Deduction Path Learning via Reinforcement Learning with Environmental Correction0
Multi-Robot Path Planning Combining Heuristics and Multi-Agent Reinforcement Learning0
Scale-Adaptive Balancing of Exploration and Exploitation in Classical Planning0
Opti Code Pro: A Heuristic Search-based Approach to Code Refactoring0
Combining Monte Carlo Tree Search and Heuristic Search for Weighted Vertex ColoringCode0
Search-Map-Search: A Frame Selection Paradigm for Action Recognition0
MEMA Runtime Framework: Minimizing External Memory Accesses for TinyML on Microcontrollers0
A Novel Point-based Algorithm for Multi-agent Control Using the Common Information ApproachCode0
Heuristic Search For Physics-Based Problems: Angry Birds in PDDL+0
Heuristic Search for Multi-Objective Probabilistic Planning0
BeamAttack: Generating High-quality Textual Adversarial Examples through Beam Search and Mixed Semantic SpacesCode0
Bayesian Decision Trees via Tractable Priors and Probabilistic Context-Free Grammars0
Optimization of Topology-Aware Job Allocation on a High-Performance Computing Cluster by Neural Simulated AnnealingCode0
Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objectsCode0
Asynchronously Trained Distributed Topographic Maps0
Statistical Distance Based Deterministic Offspring Selection in SMC Methods0
An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning0
Ultrafast learning of 4-node hybridization cycles in phylogenetic networks using algebraic invariantsCode0
Encoder-Decoder Model for Suffix Prediction in Predictive Monitoring0
Shielding in Resource-Constrained Goal POMDPsCode0
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical PlanningCode0
Show:102550
← PrevPage 2 of 6Next →

No leaderboard results yet.