1
Inferring Code Correctness from Specification
新方法从代码规范自动推断正确性，无需运行即可验证，提升代码质量与可靠性。
arXiv:2605.29822v1 Announce Type: cross Abstract: Large language models (LLMs) have become integral to modern software development, enabling automated…
新方法从代码规范自动推断正确性，无需运行即可验证，提升代码质量与可靠性。
arXiv:2605.29822v1 Announce Type: cross Abstract: Large language models (LLMs) have become integral to modern software development, enabling automated…