1
Specification Grounding Drives Test Effectiveness for LLM Code
揭示LLM代码测试：规范对齐才是提升有效性的关键，而不仅仅是自写测试。
arXiv:2607.06636v1 Announce Type: cross Abstract: Large language models frequently generate code that appears correct on typical inputs yet fails on e…