conftrace_

best-first search

23 papers

Explore in graph

Also known as

BFS

Co-occurring keywords

heuristic search (165) search algorithm (109) program synthesis (233) beam search (309) marginal map (12) graphical model (864) tree search (86) cost function (25) anytime algorithm (47) text generation (2913)

Papers

Learning Heuristic Functions with Graph Neural Networks for Numeric Planning AAAI 2026
GHOST: Solving the Traveling Salesman Problem on Graphs of Convex Sets AAAI 2026
Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis AAAI 2025
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving ACL 2025
Attractor-based Closed List Search: Sparsifying the Closed List for Efficient Memory-Constrained Planning IJCAI 2025
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions IJCAI 2025
Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint) AAAI 2024
Rectangle Search: An Anytime Beam Search AAAI 2024
Best-k Search Algorithm for Neural Text Generation ACL 2023
Massive-scale Decoding for Text Generation using Lattices NAACL 2022
Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning NIPS 2022
Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract) IJCAI 2022
Necessary and Sufficient Conditions for Avoiding Reopenings in Best First Suboptimal Search with General Bounding Functions AAAI 2021
Subgoal Search For Complex Reasoning Tasks NIPS 2021
Parallel AND/OR Search for Marginal MAP AAAI 2020
Learning Large Logic Programs By Going Beyond Entailment IJCAI 2020
Enriching Documents with Compact, Representative, Relevant Knowledge Graphs IJCAI 2020
Retro*: Learning Retrosynthetic Planning with Neural Guided A* Search ICML 2020
SPoC: Search-based Pseudocode to Code NIPS 2019
Anytime Recursive Best-First Search for Bounding Marginal MAP AAAI 2019
Heuristic Search Algorithm for Dimensionality Reduction Optimally Combining Feature Selection and Feature Extraction AAAI 2019
Single-Agent Policy Tree Search With Guarantees NIPS 2018
Pushing Forward Marginal MAP with Best-First Search IJCAI 2015