Research author

Chengxiao Dai

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Chengxiao Dai

Jul 22, 2026
cs.AI

Safe Remediation as Risk-Constrained Intervention Decision in Microservice Systems

Chengxiao Dai, Zhaokun Yan, Chenjun Lei, et al.

Jun 26, 2026
cs.CL

The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization

Chengxiao Dai, Zhaokun Yan, Zhanhui Lin

Chengxiao Dai — AI Research Papers | One9Founders