5 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…
From Knowledge to Inference: Formalizing Specialized Public Health Reasoning on GlobalHealthAtlas
Zhaokun Yan, Shan Xu, Wuzheng Dong +10
Public health reasoning requires population level inference grounded in scientific evidence, expert consensus, and safety constraints. However, it remains underexplored as a struct…
aiXiv: A Next-Generation Open Access Ecosystem for Scientific Discovery Generated by AI Scientists
Pengsong Zhang, Xiang Hu, Guowei Huang +20
Recent advances in large language models (LLMs) have enabled AI agents to autonomously generate scientific proposals, conduct experiments, author papers, and perform peer reviews.…