4 papers
Safe Remediation as Risk-Constrained Intervention Decision in Microservice Systems
Chengxiao Dai, Zhaokun Yan, Chenjun Lei +2
In modern IT operations (IT-Ops), the cost of an incorrect repair often exceeds the cost of no action at all. Yet existing automated remediation systems are designed to generate ac…
Coordinating from Memory: Graph-Structured Experience Reuse for Multi-Agent Adaptation in Dynamic Manufacturing
Chengxiao Dai, Zhanhui Lin, Zhaokun Yan +3
Dynamic manufacturing environments require multi-agent systems to coordinate effectively under frequent operational disturbances such as machine failures, urgent job arrivals, and…
The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization
Chengxiao Dai, Zhaokun Yan, Zhanhui Lin
Headline type-correctness (TC\%) of LLM autoformalization has climbed from 53\% to 76\% in two years, yet this scalar conceals which errors each method resolves. We pro…
Unlocking the Effectiveness of LoRA-FP for Seamless Transfer Implantation of Fingerprints in Downstream Models
Zhenhua Xu, Zhaokun Yan, Binhan Xu +4
With the rapid advancement of large language models (LLMs), safeguarding intellectual property (IP) has become increasingly critical. To address the challenges of high costs and po…