:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Munoz-Avila, Hector, Aha, David W., Rizzo, Paola
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.11814
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

R-HTN: Rebellious Online HTN Planning for Safety and Game AI
by: Munoz-Avila, Hector, et al.
Published: (2026)

Online Learning of HTN Methods for integrated LLM-HTN Planning
by: Xu, Yuesheng, et al.
Published: (2025)

Risk Awareness in HTN Planning
by: Alnazer, Ebaa, et al.
Published: (2022)

Automatically Learning HTN Methods from Landmarks
by: Li, Ruoxi, et al.
Published: (2024)

HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods
by: Zaidins, Paul, et al.
Published: (2025)

Towards a General Framework for HTN Modeling with LLMs
by: Puerta-Merino, Israel, et al.
Published: (2025)

HTN-Based Tutors: A New Intelligent Tutoring Framework Based on Hierarchical Task Networks
by: Siddiqui, Momin N., et al.
Published: (2024)

HAUTO: Automated composition of convergent services based in HTN planning
by: A. Ordonez
Published: (2014)

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

Human-Centric Goal Reasoning with Ripple-Down Rules
by: Brameld, Kenji, et al.
Published: (2024)

Planning in the Dark: LLM-Symbolic Planning Pipeline without Experts
by: Huang, Sukai, et al.
Published: (2024)

Plantain: Plan-Answer Interleaved Reasoning
by: Liang, Anthony, et al.
Published: (2025)

LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
by: Gestrin, Elliot, et al.
Published: (2026)

ATP-Bench: Towards Agentic Tool Planning for MLLM Interleaved Generation
by: Liu, Yinuo, et al.
Published: (2026)

Saliency Map-Guided Knowledge Discovery for Subclass Identification with LLM-Based Symbolic Approximations
by: Bohne, Tim, et al.
Published: (2025)

SPRINT: Enabling Interleaved Planning and Parallelized Execution in Reasoning Models
by: Biju, Emil, et al.
Published: (2025)

Symbolic Numeric Planning with Patterns
by: Cardellini, Matteo, et al.
Published: (2023)

A Semantic Framework for Neuro-Symbolic Computing
by: Odense, Simon, et al.
Published: (2022)

SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search
by: Zhang, Yifan, et al.
Published: (2025)

WLPlan: Relational Features for Symbolic Planning
by: Chen, Dillon Z.
Published: (2024)

Novelty Adaptation Through Hybrid Large Language Model (LLM)-Symbolic Planning and LLM-guided Reinforcement Learning
by: Lu, Hong, et al.
Published: (2026)

A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
by: Tosello, Elisa, et al.
Published: (2024)

ChatSOP: An SOP-Guided MCTS Planning Framework for Controllable LLM Dialogue Agents
by: Li, Zhigen, et al.
Published: (2024)

Hybrid Diffusion for Simultaneous Symbolic and Continuous Planning
by: Høeg, Sigmund Hennum, et al.
Published: (2025)

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

ProtLLM: An Interleaved Protein-Language LLM with Protein-as-Word Pre-Training
by: Zhuo, Le, et al.
Published: (2024)

ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
by: Merler, Matteo, et al.
Published: (2025)

An Empirical Study on Reinforcement Learning for Reasoning-Search Interleaved LLM Agents
by: Jin, Bowen, et al.
Published: (2025)

United We Stand: Decentralized Multi-Agent Planning With Attrition
by: Nguyen, Nhat, et al.
Published: (2024)

Aligning LLM+PDDL Symbolic Plans with Human Objective Specifications through Evolutionary Algorithm Guidance
by: Burns, Owen, et al.
Published: (2024)

A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
by: Wu, Jiahao, et al.
Published: (2025)

Symbolic Pattern Temporal Numeric Planning with Intermediate Conditions and Effects
by: Cardellini, Matteo, et al.
Published: (2026)

QUICK: Quantization-aware Interleaving and Conflict-free Kernel for efficient LLM inference
by: Kim, Taesu, et al.
Published: (2024)

MatterChat: A Multi-Modal LLM for Material Science
by: Tang, Yingheng, et al.
Published: (2025)

Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning
by: Verma, Pulkit, et al.
Published: (2025)

On the Limits of Self-Improving in Large Language Models: The Singularity Is Not Near Without Symbolic Model Synthesis
by: Zenil, Hector
Published: (2026)

Programmatic Context Augmentation for LLM-based Symbolic Regression
by: Liu, Hao, et al.
Published: (2026)

Symbol-LLM: Towards Foundational Symbol-centric Interface For Large Language Models
by: Xu, Fangzhi, et al.
Published: (2023)

Experiment Planning with Function Approximation
by: Pacchiano, Aldo, et al.
Published: (2024)

PRISM: Perception Reasoning Interleaved for Sequential Decision Making
by: Aissi, Mohamed Salim, et al.
Published: (2026)