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 2650 of 261 papers

TitleStatusHype
HTS-Attack: Heuristic Token Search for Jailbreaking Text-to-Image Models0
FedMoE: Personalized Federated Learning via Heterogeneous Mixture of Experts0
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 Method0
LLM-A*: Large Language Model Enhanced Incremental Heuristic Search on Path PlanningCode2
Q*: Improving Multi-step Reasoning for LLMs with Deliberative Planning0
BlockPruner: Fine-grained Pruning for Large Language ModelsCode1
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
DAGER: Exact Gradient Inversion for Large Language ModelsCode1
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
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 Problems0
Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision ProcessesCode0
Show:102550
← PrevPage 2 of 11Next →

No leaderboard results yet.