@misc{indiciae2eab78aa0b4e,
  title = {Beyond Correctness: Attribution of Natural-Language Documentation for Formal Libraries},
  author = {Sirui Jiang and Dongming Xiang and Shichao Wu and Yuxuan Zhou and Yihong Wu and Fangze Zhu and Wang Lin and Guanjun Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2610.33094},
  note = {Source identifier: 2610.33094}
}