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 1–50 of 261 papers

TitleStatusHype
Optimising 4th-Order Runge-Kutta Methods: A Dynamic Heuristic Approach for Efficiency and Low Storage—0
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling—0
Soft Reasoning: Navigating Solution Spaces in Large Language Models through Controlled Embedding Exploration—0
Movable-Element STARS-Assisted Near-Field Wideband Communications—0
Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments—0
Skip-Thinking: Chunk-wise Chain-of-Thought Distillation Enable Smaller Language Models to Reason Better and Faster—0
A Survey on Mathematical Reasoning and Optimization with Large Language ModelsCode0
A Block-Based Heuristic Algorithm for the Three-Dimensional Nuclear Waste Packing Problem—0
Optimizing Minimum Vertex Cover Solving via a GCN-assisted Heuristic Algorithm—0
Automatic Prompt Optimization via Heuristic Search: A Survey—0
SQL-o1: A Self-Reward Heuristic Dynamic Search Method for Text-to-SQLCode2
KBQA-o1: Agentic Knowledge Base Question Answering with Monte Carlo Tree SearchCode1
Hardware Distortion Modeling for Panel Selection in Large Intelligent Surfaces—0
On Parallel External-Memory Bidirectional SearchCode0
LLM-Virus: Evolutionary Jailbreak Attack on Large Language ModelsCode0
HSEvo: Elevating Automatic Heuristic Design with Diversity-Driven Harmony Search and Genetic Algorithm Using LLMsCode1
MeshA*: Efficient Path Planing With Motion Primitives—0
Solving 7x7 Killall-Go with Seki Database—0
Deep Memory Search: A Metaheuristic Approach for Optimizing Heuristic Search—0
SAM2Long: Enhancing SAM 2 for Long Video Segmentation with a Training-Free Memory TreeCode4
Efficient Reinforcement Learning with Large Language Model Priors—0
Windowed MAPF with Completeness Guarantees—0
LaMMA-P: Generalizable Multi-Agent Long-Horizon Task Allocation and Planning with LM-Driven PDDL Planner—0
Multi-objective Evolution of Heuristic Using Large Language Model—0
Learning Discrete World Models for Heuristic SearchCode1
HTS-Attack: Heuristic Token Search for Jailbreaking Text-to-Image Models—0
FedMoE: Personalized Federated Learning via Heterogeneous Mixture of Experts—0
POGEMA: A Benchmark Platform for Cooperative Multi-Agent PathfindingCode1
Pareto local search for a multi-objective demand response problem in residential areas with heat pumps and electric vehiclesCode0
A Training Data Recipe to Accelerate A* Search with Language ModelsCode0
Microgrid Planner: A Distributed Energy Resource Sizing Method—0
LLM-A*: Large Language Model Enhanced Incremental Heuristic Search on Path PlanningCode2
Q*: Improving Multi-step Reasoning for LLMs with Deliberative Planning—0
BlockPruner: Fine-grained Pruning for Large Language ModelsCode1
Diffusion-based Reinforcement Learning for Dynamic UAV-assisted Vehicle Twins Migration in Vehicular Metaverses—0
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
DAGER: Exact Gradient Inversion for Large Language ModelsCode1
Consolidating LAMA with Best-First Width Search—0
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms—0
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning—0
Improving Learnt Local MAPF Policies with Heuristic Search—0
Policy-Space Search: Equivalences, Improvements, and Compression—0
Can Large Language Models Play Games? A Case Study of A Self-Play Approach—0
ChemReasoner: Heuristic Search over a Large Language Model's Knowledge Space using Quantum-Chemical FeedbackCode2
Domain-Independent Dynamic ProgrammingCode2
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems—0
Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision ProcessesCode0
Show:102550
← PrevPage 1 of 6Next →

No leaderboard results yet.