TY  - RPRT
TI  - CertClaim: Towards Certified Model-Claim Verification for Coding-Agent Services
AU  - Jiacheng Lu
AU  - Qixuan Yang
AU  - Tao Song
AU  - Daxin Jiang
AU  - Jing Li
AU  - Zuo Bai
AU  - Haibing Guan
PY  - 2026
UR  - https://arxiv.org/abs/2611.01950
ID  - 2611.01950
ER  -