best-first search

GHOST: Solving the Traveling Salesman Problem on Graphs of Convex Sets AAAI 2026 Learning Heuristic Functions with Graph Neural Networks for Numeric Planning AAAI 2026 Neuro-Symbolic Proof Generation for Scaling Systems Software Verification OSDI 2026 Attractor-based Closed List Search: Sparsifying the Closed List for Efficient Memory-Constrained Planning IJCAI 2025 BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving ACL 2025 Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis AAAI 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 Summarization Programs: Interpretable Abstractive Summarization with Neural Modular Trees ICLR 2023 Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract) IJCAI 2022 Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning NeurIPS 2022 Massive-scale Decoding for Text Generation using Lattices NAACL 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 NeurIPS 2021 Enriching Documents with Compact, Representative, Relevant Knowledge Graphs IJCAI 2020 Learning Large Logic Programs By Going Beyond Entailment IJCAI 2020 Parallel AND/OR Search for Marginal MAP AAAI 2020 Retro*: Learning Retrosynthetic Planning with Neural Guided A* Search ICML 2020 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 SPoC: Search-based Pseudocode to Code NeurIPS 2019 Single-Agent Policy Tree Search With Guarantees NeurIPS 2018 Parallel Recursive Best-First AND/OR Search for Exact MAP Inference in Graphical Models NeurIPS 2015