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

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 261 papers

TitleStatusHype
BeamAttack: Generating High-quality Textual Adversarial Examples through Beam Search and Mixed Semantic SpacesCode0
Shielding in Resource-Constrained Goal POMDPsCode0
Rectangle Search: An Anytime Beam Search (Extended Version)Code0
Combining Monte Carlo Tree Search and Heuristic Search for Weighted Vertex ColoringCode0
Pareto local search for a multi-objective demand response problem in residential areas with heat pumps and electric vehiclesCode0
Representation and Synthesis of C++ Programs for Generalized PlanningCode0
Similarity-Based Equational Inference in PhysicsCode0
Ultrafast learning of 4-node hybridization cycles in phylogenetic networks using algebraic invariantsCode0
MASAI: Multi-agent Summative Assessment Improvement for Unsupervised Environment DesignCode0
Crafting a Pogo Stick in Minecraft with Heuristic Search (Extended Abstract)Code0
LLM-Virus: Evolutionary Jailbreak Attack on Large Language ModelsCode0
Optimistic variants of single-objective bilevel optimization for evolutionary algorithmsCode0
Learning Loop Invariants for Program VerificationCode0
Discovering Reliable Correlations in Categorical DataCode0
Optimization of Topology-Aware Job Allocation on a High-Performance Computing Cluster by Neural Simulated AnnealingCode0
Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision ProcessesCode0
A Training Data Recipe to Accelerate A* Search with Language ModelsCode0
Deliberative and Conceptual Inference in Service RobotsCode0
Heuristic Authorship ObfuscationCode0
Hybrid Planning for Dynamic Multimodal Stochastic Shortest PathsCode0
A Survey on Mathematical Reasoning and Optimization with Large Language ModelsCode0
DeepType: Multilingual Entity Linking by Neural Type System EvolutionCode0
Discovering Reliable Dependencies from Data: Hardness and Improved AlgorithmsCode0
Learning Heuristic Selection with Dynamic Algorithm ConfigurationCode0
Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objectsCode0
Parallel Model Exploration for Tumor Treatment SimulationsCode0
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical PlanningCode0
On Parallel External-Memory Bidirectional SearchCode0
Simulation-Assisted Optimization for Large-Scale Evacuation Planning with Congestion-Dependent Delays—0
Consolidating LAMA with Best-First Width Search—0
Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments—0
Computing Programs for Generalized Planning as Heuristic Search—0
Compiler-Level Matrix Multiplication Optimization for Deep Learning—0
Approximating Permutations with Neural Network Components for Travelling Photographer Problem—0
A Meta-Heuristic Search Algorithm based on Infrasonic Mating Displays in Peafowls—0
A Formal Characterization of the Local Search Topology of the Gap Heuristic—0
Combining Deep Learning and Qualitative Spatial Reasoning to Learn Complex Structures from Sparse Examples with Noise—0
A Polynomial Time Approximation Scheme for a Single Machine Scheduling Problem Using a Hybrid Evolutionary Algorithm—0
COLIN: Planning with Continuous Linear Numeric Change—0
A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection—0
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems—0
ChemoVerse: Manifold traversal of latent spaces for novel molecule discovery—0
Case-Based Subgoaling in Real-Time Heuristic Search for Video Game Pathfinding—0
Finetuning Randomized Heuristic Search For 2D Path Planning: Finding The Best Input Parameters For R* Algorithm Through Series Of Experiments—0
Cascading A*: a Parallel Approach to Approximate Heuristic Search—0
Few-shots Parallel Algorithm Portfolio Construction via Co-evolution—0
Can Large Language Models Play Games? A Case Study of A Self-Play Approach—0
A Novel Sleep Stage Classification Using CNN Generated by an Efficient Neural Architecture Search with a New Data Processing Trick—0
A Hybrid Evolutionary Algorithm Framework for Optimising Power Take Off and Placements of Wave Energy Converters—0
Abstract Interpretation for Generalized Heuristic Search in Model-Based Planning—0
Show:102550
← PrevPage 2 of 6Next →

No leaderboard results yet.