Automating Thought of Search: A Journey Towards Soundness and Completeness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cao, Daniel, Katz, Michael, Kokel, Harsha, Srinivas, Kavitha, Sohrabi, Shirin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Thought of Search: Planning with Language Models Through The Lens of Efficiency
di: Katz, Michael, et al.
Pubblicazione: (2024)

ACPBench: Reasoning about Action, Change, and Planning
di: Kokel, Harsha, et al.
Pubblicazione: (2024)

ACPBench Hard: Unrestrained Reasoning about Action, Change, and Planning
di: Kokel, Harsha, et al.
Pubblicazione: (2025)

Planning in the LLM Era: Building for Reliability and Efficiency
di: Katz, Michael, et al.
Pubblicazione: (2026)

Learning and Reusing Policy Decompositions for Hierarchical Generalized Planning with LLM Agents
di: Sohrabi, Shirin, et al.
Pubblicazione: (2026)

Large Language Models as Planning Domain Generators
di: Oswald, James, et al.
Pubblicazione: (2024)

Model Space Reasoning as Search in Feedback Space for Planning Domain Generation
di: Oswald, James, et al.
Pubblicazione: (2026)

QueryGym: Step-by-Step Interaction with Relational Databases
di: Ananthakrishnan, Haritha, et al.
Pubblicazione: (2025)

Make Planning Research Rigorous Again!
di: Katz, Michael, et al.
Pubblicazione: (2025)

Seemingly Simple Planning Problems are Computationally Challenging: The Countdown Game
di: Katz, Michael, et al.
Pubblicazione: (2025)

Less is More: Learning Graph Tasks with Just LLMs
di: Shirai, Sola, et al.
Pubblicazione: (2025)

Unifying and Certifying Top-Quality Planning
di: Katz, Michael, et al.
Pubblicazione: (2024)

Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning
di: Katz, Michael, et al.
Pubblicazione: (2024)

TabSketchFM: Sketch-based Tabular Representation Learning for Data Discovery over Data Lakes
di: Khatiwada, Aamod, et al.
Pubblicazione: (2024)

Combining Planning and Reinforcement Learning for Solving Relational Multiagent Domains
di: Prabhakar, Nikhilesh, et al.
Pubblicazione: (2025)

Can Cross Encoders Produce Useful Sentence Embeddings?
di: Ananthakrishnan, Haritha, et al.
Pubblicazione: (2025)

TOPJoin: A Context-Aware Multi-Criteria Approach for Joinable Column Search
di: Kokel, Harsha, et al.
Pubblicazione: (2025)

Evaluating Joinable Column Discovery Approaches for Context-Aware Search
di: Kokel, Harsha, et al.
Pubblicazione: (2025)

Can AI autonomously build, operate, and use the entire data stack?
di: Agarwal, Arvind, et al.
Pubblicazione: (2025)

Answering Questions by Meta-Reasoning over Multiple Chains of Thought
di: Yoran, Ori, et al.
Pubblicazione: (2023)

A Quantum Search Approach to Magic Square Constraint Problems with Classical Benchmarking
di: R, Rituparna, et al.
Pubblicazione: (2026)

Towards Better Chain-of-Thought: A Reflection on Effectiveness and Faithfulness
di: Li, Jiachun, et al.
Pubblicazione: (2024)

Towards Automated Patent Workflows: AI-Orchestrated Multi-Agent Framework for Intellectual Property Management and Analysis
di: Srinivas, Sakhinana Sagar, et al.
Pubblicazione: (2024)

GRACE: Generative Recommendation via Journey-Aware Sparse Attention on Chain-of-Thought Tokenization
di: Ma, Luyi, et al.
Pubblicazione: (2025)

COTCAgent: Preventive Consultation via Probabilistic Chain-of-Thought Completion
di: Deng, Zihan, et al.
Pubblicazione: (2026)

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
di: Dong, Hao, et al.
Pubblicazione: (2025)

Towards a More Complete Theory of Function Preserving Transforms
di: Painter, Michael
Pubblicazione: (2024)

A Generic Complete Anytime Beam Search for Optimal Decision Tree
di: Kiossou, Harold Silvère, et al.
Pubblicazione: (2025)

Language and Thought: The View from LLMs
di: Rothschild, Daniel
Pubblicazione: (2025)

NurseSchedRL: Attention-Guided Reinforcement Learning for Nurse-Patient Assignment
di: Koduri, Harsha
Pubblicazione: (2025)

Out of style: Misadventures with LLMs and code style transfer
di: Munson, Karl, et al.
Pubblicazione: (2024)

MiGrATe: Mixed-Policy GRPO for Adaptation at Test-Time
di: Phan, Peter, et al.
Pubblicazione: (2025)

OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modeling
di: Liu, Haoyang, et al.
Pubblicazione: (2025)

Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning
di: Caglar, Turgay, et al.
Pubblicazione: (2023)

Sequence Search: Automated Sequence Design using Neural Architecture Search
di: Hong, Rokgi, et al.
Pubblicazione: (2026)

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
di: Cao, Clinton, et al.
Pubblicazione: (2024)

ViLLa: A Neuro-Symbolic approach for Animal Monitoring
di: Koduri, Harsha
Pubblicazione: (2025)

Univariate to Multivariate: LLMs as Zero-Shot Predictors for Time-Series Forecasting
di: Madarasingha, Chamara, et al.
Pubblicazione: (2025)

Chain-of-Thought Degrades Visual Spatial Reasoning Capabilities of Multimodal LLMs
di: Kancheti, Sai Srinivas, et al.
Pubblicazione: (2026)

Novelty-based Tree-of-Thought Search for LLM Reasoning and Planning
di: Hamm, Leon, et al.
Pubblicazione: (2026)