An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
Fuente:
arXiv
Guardado en:
| Autores principales: | Dong, Hao, Shi, Zheyuan, Zeng, Hemeng, Liu, Yongmei |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| 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)
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)
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)
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)
por: Bot, Veronica, et al.
Publicado: (2025)
Abstraction Generation for Generalized Planning with Pretrained Large Language Models
por: Cui, Zhenhe, et al.
Publicado: (2026)
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)
por: Wu, Haoyong, et al.
Publicado: (2025)
Learning Planning Abstractions from Language
por: Liu, Weiyu, et al.
Publicado: (2024)
por: Liu, Weiyu, et al.
Publicado: (2024)
Isotonic Layer: A Unified Framework for Recommendation Calibration and Debiasing
por: Cheng, Hailing, et al.
Publicado: (2026)
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)
por: Jiang, Linxi, et al.
Publicado: (2026)
In-Context Planning with Latent Temporal Abstractions
por: Luo, Baiting, et al.
Publicado: (2026)
por: Luo, Baiting, et al.
Publicado: (2026)
Learning Abstractions for Hierarchical Planning in Program-Synthesis Agents
por: Ahmed, Zergham, et al.
Publicado: (2026)
por: Ahmed, Zergham, et al.
Publicado: (2026)
Grokking From Abstraction to Intelligence
por: Zhang, Junjie, et al.
Publicado: (2026)
por: Zhang, Junjie, et al.
Publicado: (2026)
From Abstractions to Grounded Languages for Robust Coordination of Task Planning Robots
por: Zhang, Yu
Publicado: (2019)
por: Zhang, Yu
Publicado: (2019)
BEV-VLM: Trajectory Planning via Unified BEV Abstraction
por: Chen, Guancheng, et al.
Publicado: (2025)
por: Chen, Guancheng, et al.
Publicado: (2025)
Self-Abstraction from Grounded Experience for Plan-Guided Policy Refinement
por: Hayashi, Hiroaki, et al.
Publicado: (2025)
por: Hayashi, Hiroaki, et al.
Publicado: (2025)
Automatic Medical Report Generation: Methods and Applications
por: Guo, Li, et al.
Publicado: (2024)
por: Guo, Li, et al.
Publicado: (2024)
AutoAgents: A Framework for Automatic Agent Generation
por: Chen, Guangyao, et al.
Publicado: (2023)
por: Chen, Guangyao, et al.
Publicado: (2023)
Investigating Intra-Abstraction Policies For Non-exact Abstraction Algorithms
por: Schmöcker, Robin, et al.
Publicado: (2025)
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)
por: Panangaden, Prakash, et al.
Publicado: (2023)
Latent Abstraction for Retrieval-Augmented Generation
por: T, Ha Lan N., et al.
Publicado: (2026)
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)
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)
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)
por: Banihashemi, Bita, et al.
Publicado: (2025)
Automating Thought of Search: A Journey Towards Soundness and Completeness
por: Cao, Daniel, et al.
Publicado: (2024)
por: Cao, Daniel, et al.
Publicado: (2024)
Learning Type-Generalized Actions for Symbolic Planning
por: Tanneberg, Daniel, et al.
Publicado: (2023)
por: Tanneberg, Daniel, et al.
Publicado: (2023)
PlanTwin: Privacy-Preserving Planning Abstractions for Cloud-Assisted LLM Agents
por: Yu, Guangsheng, et al.
Publicado: (2026)
por: Yu, Guangsheng, et al.
Publicado: (2026)
Scaling Autonomous Agents via Automatic Reward Modeling And Planning
por: Chen, Zhenfang, et al.
Publicado: (2025)
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)
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)
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)
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)
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)
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)
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)
por: Wang, Yilin, et al.
Publicado: (2024)
Diffusion-RL Based Air Traffic Conflict Detection and Resolution Method
por: Li, Tonghe, et al.
Publicado: (2025)
por: Li, Tonghe, et al.
Publicado: (2025)
Towards Automated Scoping of AI for Social Good Projects
por: Emmerson, Jacob, et al.
Publicado: (2025)
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)
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)
por: Liu, David Y., et al.
Publicado: (2026)
Abstraction-of-Thought Makes Language Models Better Reasoners
por: Hong, Ruixin, et al.
Publicado: (2024)
por: Hong, Ruixin, et al.
Publicado: (2024)
PolySkill: Learning Generalizable Skills Through Polymorphic Abstraction
por: Yu, Simon, et al.
Publicado: (2025)
por: Yu, Simon, et al.
Publicado: (2025)
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)