search tree

Human-Centric Open-Future Task Discovery: Formulation, Benchmark, and Scalable Tree-Based Search AAAI 2026 Enhancing SQL Query Generation with Neurosymbolic Reasoning AAAI 2025 Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025 Learning to Search from Demonstration Sequences ICLR 2025 Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems AAAI 2025 ThoughtSculpt: Reasoning with Intermediate Revision and Search NAACL 2025 Recursive Small-Step Multi-Agent A* for Dec-POMDPs IJCAI 2023 Occualizer: Optimistic Concurrent Search Trees From Sequential Code OSDI 2022 Learning to Resolve Conflicts for Multi-Agent Path Finding with Conflict-Based Search AAAI 2021 Parameterizing Branch-and-Bound Search Trees to Learn Branching Policies AAAI 2021 A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems AAAI 2020 Envelope-Based Approaches to Real-Time Heuristic Search AAAI 2020 Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining AAAI 2020 Search Tree Pruning for Progressive Neural Architecture Search (Student Abstract) AAAI 2020 The Choice Function Framework for Online Policy Improvement AAAI 2020 Adversarial Actor-Critic Method for Task and Motion Planning Problems Using Planning Experience AAAI 2019 Multi-Agent Path Finding for Large Agents AAAI 2019 Multiple Policy Value Monte Carlo Tree Search IJCAI 2019 Estimating the size of search trees by sampling with domain knowledge IJCAI 2017 Learning Heuristic Search via Imitation CoRL 2017