Imagen de Portada

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Dong, Hao, Shi, Zheyuan, Zeng, Hemeng, Liu, Yongmei
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Generalized Planning for the Abstraction and Reasoning Corpus
por: Lei, Chao, et al.
Publicado: (2024)

Towards Generative Abstract Reasoning: Completing Raven's Progressive Matrix via Rule Abstraction and Selection
por: Shi, Fan, et al.
Publicado: (2024)

Projection Abstractions in Planning Under the Lenses of Abstractions for MDPs
por: Canonaco, Giuseppe, et al.
Publicado: (2024)

Investigating the Effectiveness of a Socratic Chain-of-Thoughts Reasoning Method for Task Planning in Robotics, A Case Study
por: Bot, Veronica, et al.
Publicado: (2025)

Abstraction Generation for Generalized Planning with Pretrained Large Language Models
por: Cui, Zhenhe, et al.
Publicado: (2026)

ProRAC: A Neuro-symbolic Method for Reasoning about Actions with LLM-based Progression
por: Wu, Haoyong, et al.
Publicado: (2025)

Learning Planning Abstractions from Language
por: Liu, Weiyu, et al.
Publicado: (2024)

Isotonic Layer: A Unified Framework for Recommendation Calibration and Debiasing
por: Cheng, Hailing, et al.
Publicado: (2026)

Web Verbs: Typed Abstractions for Reliable Task Composition on the Agentic Web
por: Jiang, Linxi, et al.
Publicado: (2026)

In-Context Planning with Latent Temporal Abstractions
por: Luo, Baiting, et al.
Publicado: (2026)

Learning Abstractions for Hierarchical Planning in Program-Synthesis Agents
por: Ahmed, Zergham, et al.
Publicado: (2026)

Grokking From Abstraction to Intelligence
por: Zhang, Junjie, et al.
Publicado: (2026)

From Abstractions to Grounded Languages for Robust Coordination of Task Planning Robots
por: Zhang, Yu
Publicado: (2019)

BEV-VLM: Trajectory Planning via Unified BEV Abstraction
por: Chen, Guancheng, et al.
Publicado: (2025)

Self-Abstraction from Grounded Experience for Plan-Guided Policy Refinement
por: Hayashi, Hiroaki, et al.
Publicado: (2025)

Automatic Medical Report Generation: Methods and Applications
por: Guo, Li, et al.
Publicado: (2024)

AutoAgents: A Framework for Automatic Agent Generation
por: Chen, Guangyao, et al.
Publicado: (2023)

Investigating Intra-Abstraction Policies For Non-exact Abstraction Algorithms
por: Schmöcker, Robin, et al.
Publicado: (2025)

Policy Gradient Methods in the Presence of Symmetries and State Abstractions
por: Panangaden, Prakash, et al.
Publicado: (2023)

Latent Abstraction for Retrieval-Augmented Generation
por: T, Ha Lan N., et al.
Publicado: (2026)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
por: Dantanarayana, Jayanaka L., et al.
Publicado: (2024)

Unified Task and Motion Planning using Object-centric Abstractions of Motion Constraints
por: Agostini, Alejandro, et al.
Publicado: (2023)

Using Large Language Models for Abstraction of Planning Domains - Extended Version
por: Banihashemi, Bita, et al.
Publicado: (2025)

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

Learning Type-Generalized Actions for Symbolic Planning
por: Tanneberg, Daniel, et al.
Publicado: (2023)

PlanTwin: Privacy-Preserving Planning Abstractions for Cloud-Assisted LLM Agents
por: Yu, Guangsheng, et al.
Publicado: (2026)

Scaling Autonomous Agents via Automatic Reward Modeling And Planning
por: Chen, Zhenfang, et al.
Publicado: (2025)

Interleaving Scheduling and Motion Planning with Incremental Learning of Symbolic Space-Time Motion Abstractions
por: Tosello, Elisa, et al.
Publicado: (2026)

From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation
por: Nabizada, Hamied, et al.
Publicado: (2026)

G-LNS: Generative Large Neighborhood Search for LLM-Based Automatic Heuristic Design
por: Zhao, Baoyun, et al.
Publicado: (2026)

Bucketing the Good Apples: A Method for Diagnosing and Improving Causal Abstraction
por: Puyin, Li, et al.
Publicado: (2026)

Generative Modeling and Decision Fusion for Unknown Event Detection and Classification Using Synchrophasor Data
por: Hu, Yi, et al.
Publicado: (2025)

Automatic Failure Attribution and Critical Step Prediction Method for Multi-Agent Systems Based on Causal Inference
por: Ma, Guoqing, et al.
Publicado: (2025)

KC-GenRe: A Knowledge-constrained Generative Re-ranking Method Based on Large Language Models for Knowledge Graph Completion
por: Wang, Yilin, et al.
Publicado: (2024)

Diffusion-RL Based Air Traffic Conflict Detection and Resolution Method
por: Li, Tonghe, et al.
Publicado: (2025)

Towards Automated Scoping of AI for Social Good Projects
por: Emmerson, Jacob, et al.
Publicado: (2025)

Start from Zero: Triple Set Prediction for Automatic Knowledge Graph Completion
por: Zhang, Wen, et al.
Publicado: (2024)

Narrative Theory-Driven LLM Methods for Automatic Story Generation and Understanding: A Survey
por: Liu, David Y., et al.
Publicado: (2026)

Abstraction-of-Thought Makes Language Models Better Reasoners
por: Hong, Ruixin, et al.
Publicado: (2024)

PolySkill: Learning Generalizable Skills Through Polymorphic Abstraction
por: Yu, Simon, et al.
Publicado: (2025)