Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dong, Hao, Shi, Zheyuan, Zeng, Hemeng, Liu, Yongmei
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

Learning Planning Abstractions from Language
di: Liu, Weiyu, et al.
Pubblicazione: (2024)

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

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

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

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

Grokking From Abstraction to Intelligence
di: Zhang, Junjie, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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