Copertina

Unifying and Certifying Top-Quality Planning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Katz, Michael, Lee, Junkyu, 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

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

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

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

Thought of Search: Planning with Language Models Through The Lens of Efficiency
di: Katz, Michael, 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)

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

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

Automating Thought of Search: A Journey Towards Soundness and Completeness
di: Cao, Daniel, 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)

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

DAO-AI: Evaluating Collective Decision-Making through Agentic AI in Decentralized Governance
di: Capponi, Agostino, et al.
Pubblicazione: (2025)

Agentics 2.0: Logical Transduction Algebra for Agentic Data Workflows
di: Gliozzo, Alfio Massimiliano, et al.
Pubblicazione: (2026)

Rationalization Models for Text-to-SQL
di: Rossiello, Gaetano, et al.
Pubblicazione: (2025)

Foundation Model Sherpas: Guiding Foundation Models through Knowledge and Reasoning
di: Bhattacharjya, Debarun, et al.
Pubblicazione: (2024)

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

UniConFlow: A Unified Constrained Flow-Matching Framework for Certified Motion Planning
di: Yang, Zewen, et al.
Pubblicazione: (2025)

Toward a Unified Lyapunov-Certified ODE Convergence Analysis of Smooth Q-Learning with p-Norms
di: Lee, Donghwan, et al.
Pubblicazione: (2024)

SIMBA UQ: Similarity-Based Aggregation for Uncertainty Quantification in Large Language Models
di: Bhattacharjya, Debarun, et al.
Pubblicazione: (2025)

Q-function Decomposition with Intervention Semantics with Factored Action Spaces
di: Lee, Junkyu, et al.
Pubblicazione: (2025)

AI Planning: A Primer and Survey (Preliminary Report)
di: Chen, Dillon Z., et al.
Pubblicazione: (2024)

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

Transduction is All You Need for Structured Data Workflows
di: Gliozzo, Alfio, et al.
Pubblicazione: (2025)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
di: Desmartin, Remi, et al.
Pubblicazione: (2024)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
di: Yang, Yunhao, et al.
Pubblicazione: (2025)

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

Certified MaxSAT Preprocessing
di: Ihalainen, Hannes, et al.
Pubblicazione: (2024)

Self-Improvement for Fast, High-Quality Plan Generation
di: Gieselmann, Robert, et al.
Pubblicazione: (2026)

Learning Top-k Subtask Planning Tree based on Discriminative Representation Pre-training for Decision Making
di: Ruan, Jingqing, et al.
Pubblicazione: (2023)

Lyapunov-Certified Direct Switching Theory for Q-Learning
di: Lee, Donghwan
Pubblicazione: (2026)

The Consistency Hypothesis in Uncertainty Quantification for Large Language Models
di: Xiao, Quan, et al.
Pubblicazione: (2025)

Improved Generalized Planning with LLMs through Strategy Refinement and Reflection
di: Stein, Katharina, et al.
Pubblicazione: (2025)

FactReasoner: A Probabilistic Approach to Long-Form Factuality Assessment for Large Language Models
di: Marinescu, Radu, et al.
Pubblicazione: (2025)

Unifying Top-down and Bottom-up Scanpath Prediction Using Transformers
di: Yang, Zhibo, et al.
Pubblicazione: (2023)

AI PB: A Grounded Generative Agent for Personalized Investment Insights
di: Park, Daewoo, et al.
Pubblicazione: (2025)

Certified ML Object Detection for Surveillance Missions
di: Belcaid, Mohammed, et al.
Pubblicazione: (2024)

Qrita: High-performance Top-k and Top-p using Pivot-based Truncation and Selection
di: Park, Jongseok, et al.
Pubblicazione: (2026)

Multilinear and Linear Programs for Partially Identifiable Queries in Quasi-Markovian Structural Causal Models
di: Arroyo, João P., et al.
Pubblicazione: (2025)

MSP-LLM: A Unified Large Language Model Framework for Complete Material Synthesis Planning
di: Noh, Heewoong, et al.
Pubblicazione: (2026)