TY  - RPRT
TI  - Beyond Correctness: Attribution of Natural-Language Documentation for Formal Libraries
AU  - Sirui Jiang
AU  - Dongming Xiang
AU  - Shichao Wu
AU  - Yuxuan Zhou
AU  - Yihong Wu
AU  - Fangze Zhu
AU  - Wang Lin
AU  - Guanjun Liu
PY  - 2026
UR  - https://arxiv.org/abs/2610.33094
ID  - 2610.33094
ER  -