Cover Image

Unifying and Certifying Top-Quality Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Katz, Michael, Lee, Junkyu, Sohrabi, Shirin
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Automating Thought of Search: A Journey Towards Soundness and Completeness
by: Cao, Daniel, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Certified MaxSAT Preprocessing
by: Ihalainen, Hannes, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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