Safe and Adaptive Cloud Healing: Verifying LLM-Generated Recovery Plans with a Neural-Symbolic World Model
On the map: World models → World models for language agents
Abstract (arXiv)
As the scale and complexity of cloud-based AI systems continue to escalate, ensuring service reliability through rapid fault detection and adaptive recovery has become a critical challenge. While existing approaches integrate Large Language Models (LLMs) for semantic understanding and Deep Reinforcement Learning (DRL) for policy optimization, they often rely on sequential, loosely coupled architectures that underutilize the generative and reasoning capabilities of LLMs. In this paper, we propose a paradigm shift with PASE, a Planning-Aware Semantic self-healing engine, a novel fault self-healing framework that reconceptualizes recovery as a neuro-symbolic program synthesis task. PASE employs an LLM as a core Plan Synthesis Engine to generate structured recovery plans from a library of semantic primitives. A Neural-Symbolic World Model verifies plan feasibility through simulation, while a Meta-Prompt Optimizer, trained via DRL, learns to generate optimal prompts that guide the LLM's planning process. This tight reason-plan-verify-adapt loop enables dynamic, context-aware recovery strategy generation beyond predefined action spaces. Experiments on a real-world cloud fault injection dataset demonstrate that PASE significantly outperforms state-of-the-art methods, reducing average system recovery time by over 40% and improving fault detection accuracy in unknown fault scenarios. Our framework advances autonomous system management by unifying LLM-based reasoning with model-assisted verification and meta-learned guidance.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Placed in World models for language agents, one of 11 directions in World models. Builds on 22 of its 40 references that are in the map. First posted on arXiv 2 Jul 2026.
Builds on
22 of 40 references.
References · 22
- 2023ChatEval: Towards Better LLM-based Evaluators through Multi-Agent Debatecited by 724
- 2023Multi-Agent Collaboration: Harnessing the Power of Intelligent LLM Agentscited by 329
- 2024ComposerX: Multi-Agent Symbolic Music Composition with LLMscited by 40
- 2024Advances in APPFL: A Comprehensive and Extensible Federated Learning Frameworkcited by 19
- 2025Reasoning in Computer Vision: Taxonomy, Models, Tasks, and Methodologiescited by 17
- 2026GUI Agents for Continual Game Generationcited by 16
- 2024HADES: Hardware Accelerated Decoding for Efficient Speculation in Large Language Modelscited by 15
- 2023T-GAE: Transferable Graph Autoencoder for Network Alignmentcited by 14
- 2024GIVE: Structured Reasoning of Large Language Models with Knowledge Graph Inspired Veracity Extrapolationcited by 13
- 2025Adaptive Fault Tolerance Mechanisms of Large Language Models in Cloud Computing Environmentscited by 12
- 2026MemMark: State-Evolution Attribution Watermarking for Agent Long-Term Memory Systemscited by 12
- 2025Research on Large Language Model Cross-Cloud Privacy Protection and Collaborative Training based on Federated Learningcited by 11
10 more
- 2025Cloud-Based AI Systems: Leveraging Large Language Models for Intelligent Fault Detection and Autonomous Self-Healingcited by 10
- 2024Towards Foundation-model-based Multiagent System to Accelerate AI for Social Impactcited by 9
- 2025Cross-Cloud Data Privacy Protection: Optimizing Collaborative Mechanisms of AI Systems by Integrating Federated Learning and LLMscited by 9
- 2026STRIDE: Strategic Trajectory Reasoning via Discriminative Estimation for Verifiable Reinforcement Learningcited by 9
- 2024Designing Large Foundation Models for Efficient Training and Inference: A Surveycited by 7
- 2024A Stochastic GDA Method With Backtracking For Solving Nonconvex Concave Minimax Problemscited by 6
- 2025Bias Evaluation and Mitigation in Retrieval-Augmented Medical Question-Answering Systemscited by 6
- 2024AGDA+: Proximal Alternating Gradient Descent Ascent Method with a Nonmonotone Adaptive Step-Size Search for Nonconvex Minimax Problemscited by 4
- 2024GraphSnapShot: Caching Local Structure for Fast Graph Learningcited by 4
- 2024From Critique to Clarity: A Pathway to Faithful and Personalized Code Explanations with Large Language Modelscited by 2
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2026NeSy-Edge: Neuro-Symbolic Trustworthy Self-Healing in the Computing Continuum
- 2026ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning
- 2026A Self-Healing Framework for Reliable LLM-Based Autonomous Agents
- 2025Boosting Open-Source LLMs for Program Repair via Reasoning Transfer and LLM-Guided Reinforcement Learning
- 2026AOI: Turning Failed Trajectories into Training Signals for Autonomous Cloud Diagnosis
- 2026EvoUndo: Recoverability-Constrained Self-Evolution for LLM Agent Harnesses
- 2026LLM-Only PDDL Domain Repair with Open-Weight Models
- 2025Enhancing reliability in AI inference services: An empirical study on real production incidents