[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-81830-en":3,"doc-seo-81830-105":30,"detail-sidebar-cat-0-en-105":92},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":11,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":27,"seo_description":14,"update_tm":28,"read_time":29},81830,4398048950312,"Violet","https://ap-avatar.wpscdn.com/avatar/400002538284de19e3c?_k=1778320343897328908",8,"Research & Report","Safe and Adaptive Cloud Healing Verifying LLM Generated Recovery Plans with a Neural Symbolic World Model","As cloud-based AI systems grow in scale and complexity, rapid fault detection and adaptive recovery become essential for reliability. The paper introduces PASE (Planning-Aware Semantic self-hEaling engine), reframing recovery as neuro-symbolic program synthesis. PASE uses an LLM as a plan synthesis engine over semantic primitives, a neural-symbolic world model to verify plan feasibility via simulation, and a DRL-trained meta-prompt optimizer to adapt prompt guidance. Experiments on real cloud fault injection show over 40% faster recovery and improved detection in unknown faults.","Safe and Adaptive Cloud Healing: Verifying LLM-Generated Recovery Plans with a Neural-Symbolic World Model  \narXiv :2607 .0 1595v 1 [ cs .AI] 2 Jul 2026  \nJunyan Tan  \nDepartment of Computer Science Zhejiang University  \nSiyuan Guo  \nDepartment of Computer Science Zhejiang University  \nXinyue Luo  \nDepartment of Computer Science Zhejiang University  \nHaoran Lin  \nDepartment of Computer Science Zhejiang University  \nYichen Fang  \nDepartment of Computer Science Zhejiang University  \nTianyu Shen  \nDepartment of Computer Science Zhejiang University  \nZeyu Qiao  \nDepartment of Computer Science  \nZhejiang University  \nAbstract  \nAs 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 (Planning-Aware Semantic self-hEaling engine), a novel fault self-healing framework that re-conceptualizes recovery as a neuro-symbolic program synthesis task. PASE employs an LLMas 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.  \nPreprint.  \nFigure 1: Motivation. From state→action selection without verification (late, risky recovery) to plan→ verify→ adapt: PASE synthesizes recovery plans with an LLM planner, screens them via a neural-symbolic world model, and improves planning through DRL-based meta-prompt adaptation.  \n1 Introduction  \nModern cloud-based AI systems support a wide range of mission-critical services, from online inference to large-scale distributed data processing, where even short interruptions can translate into substantial service degradation and economic loss [18, 34] . In practice, these systems are increasingly built on microservices, and their reliability hinges on heterogeneous components (e.g., container orchestrators, inference accelerators, caches, and load balancers) that are loosely coupledin implementation yet strongly dependent in execution [32, 35] . As a result, local anomalies may propagate through dependency chains and trigger cascading failures, making real-time fault management particularly challenging [25, 36] . Despite extensive efforts, accurately capturing such graph-like dependencies and their time-varying interactions remains an open problem in production-scale environments [8, 19, 26] .  \nFast and reliable recovery therefore becomes a core requirement for keeping these services available and for controlling operational costs [6] . However, the fault space in cloud AI systems is not only large but also heterogeneous: symptoms are distributed across logs, metrics, and alarms, and the mapping from observations to root causes is often non-bijective and context-dependent [12, 16] . For example, a memory leak can be reported as elevated CPU usage, request timeouts, or abnormal garbage collection behavior, depending on workload and resource contention [1] . Traditional rulebased ap","cbCaiqoerWFa3VKQ","https://ap.wps.com/l/cbCaiqoerWFa3VKQ","pdf",12802515,1,13,"English","en",105,"# Introduction\n## Motivation and Reliability Challenges\n## Limits of Existing Methods\n## PASE Framework Overview","[{\"question\":\"What problem does PASE address in cloud-based AI systems?\",\"answer\":\"PASE targets the challenge of ensuring fast, reliable, adaptive recovery when cloud services suffer faults that can propagate across loosely coupled microservice dependencies.\"},{\"question\":\"How does PASE generate and evaluate recovery plans?\",\"answer\":\"PASE uses an LLM to synthesize structured recovery plans from semantic primitives, then checks feasibility through a neural-symbolic world model with lightweight simulation before execution.\"},{\"question\":\"How does DRL contribute to PASE’s recovery performance?\",\"answer\":\"A DRL-based Meta-Prompt Optimizer learns prompt embeddings to steer the LLM toward higher-quality planning as the environment changes.\"}]","Safe and Adaptive Cloud Healing Verifying LLM Generated Recovery Plans with a Neural Symbolic World Model | PDF",1784176450,33,{"code":4,"msg":31,"data":32},"ok",{"site_id":24,"language":23,"slug":33,"title":13,"keywords":34,"description":14,"schema_data":35,"social_meta":87,"head_meta":89,"extra_data":91,"updated_unix":28},"safe-and-adaptive-cloud-healing-verifying-llm-generated-recovery-plans-with-a-neural-symbolic-world-model","",{"@graph":36,"@context":86},[37,54,69],{"@type":38,"itemListElement":39},"BreadcrumbList",[40,44,48,51],{"item":41,"name":42,"@type":43,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":45,"name":46,"@type":43,"position":47},"https://docshare.wps.com/document/","Document",2,{"item":49,"name":12,"@type":43,"position":50},"https://docshare.wps.com/document/research-report/",3,{"item":52,"name":13,"@type":43,"position":53},"https://docshare.wps.com/document/safe-and-adaptive-cloud-healing-verifying-llm-generated-recovery-plans-with-a-neural-symbolic-world-model/81830/",4,{"url":52,"name":13,"@type":55,"author":56,"headline":13,"publisher":58,"fileFormat":61,"inLanguage":23,"description":14,"dateModified":62,"datePublished":63,"encodingFormat":61,"isAccessibleForFree":64,"interactionStatistic":65},"DigitalDocument",{"name":9,"@type":57},"Person",{"url":41,"name":59,"@type":60},"DocShare","Organization","application/pdf","2026-08-03","2026-07-16",true,{"@type":66,"interactionType":67,"userInteractionCount":11},"InteractionCounter",{"@type":68},"ViewAction",{"@type":70,"mainEntity":71},"FAQPage",[72,78,82],{"name":73,"@type":74,"acceptedAnswer":75},"What problem does PASE address in cloud-based AI systems?","Question",{"text":76,"@type":77},"PASE targets the challenge of ensuring fast, reliable, adaptive recovery when cloud services suffer faults that can propagate across loosely coupled microservice dependencies.","Answer",{"name":79,"@type":74,"acceptedAnswer":80},"How does PASE generate and evaluate recovery plans?",{"text":81,"@type":77},"PASE uses an LLM to synthesize structured recovery plans from semantic primitives, then checks feasibility through a neural-symbolic world model with lightweight simulation before execution.",{"name":83,"@type":74,"acceptedAnswer":84},"How does DRL contribute to PASE’s recovery performance?",{"text":85,"@type":77},"A DRL-based Meta-Prompt Optimizer learns prompt embeddings to steer the LLM toward higher-quality planning as the environment changes.","https://schema.org",{"og:url":52,"og:type":88,"og:title":13,"og:site_name":59,"og:description":14},"article",{"robots":90,"canonical":52},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":93},[94,98,102,106,111,116,121,124,129,132,136],{"id":20,"doc_module":4,"doc_module_name":46,"category_name":95,"show_sort_weight":96,"slug":97},"Story & Novel",90,"story-novel",{"id":47,"doc_module":4,"doc_module_name":46,"category_name":99,"show_sort_weight":100,"slug":101},"Literature",80,"literature",{"id":53,"doc_module":4,"doc_module_name":46,"category_name":103,"show_sort_weight":104,"slug":105},"Exam",70,"exam",{"id":107,"doc_module":4,"doc_module_name":46,"category_name":108,"show_sort_weight":109,"slug":110},5,"Comic",60,"comic",{"id":112,"doc_module":4,"doc_module_name":46,"category_name":113,"show_sort_weight":114,"slug":115},6,"Technology",50,"technology",{"id":117,"doc_module":4,"doc_module_name":46,"category_name":118,"show_sort_weight":119,"slug":120},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":46,"category_name":12,"show_sort_weight":122,"slug":123},30,"research-report",{"id":125,"doc_module":4,"doc_module_name":46,"category_name":126,"show_sort_weight":127,"slug":128},9,"Religion & Spirituality",20,"religion-spirituality",{"id":127,"doc_module":4,"doc_module_name":46,"category_name":130,"show_sort_weight":127,"slug":131},"World Cup","world-cup",{"id":133,"doc_module":4,"doc_module_name":46,"category_name":134,"show_sort_weight":133,"slug":135},10,"Lifestyle","lifestyle",{"id":137,"doc_module":4,"doc_module_name":46,"category_name":138,"show_sort_weight":107,"slug":139},19,"General","general"]