Beyond Correctness: Attribution of Natural-Language Documentation for Formal Libraries.

arXiv:2610.33094v1 Announce Type: cross Abstract: Formal languages are widely used in software engineering to specify and verify program properties. Because their mathematical notation and logic are hard to read, developers often rely on natural-language docum