Specification Grounding Drives Test Effectiveness for LLM Code
DGX agentarXiv:2607.06636v1 Announce Type: cross Abstract: Large language models frequently generate code that appears correct on typical inputs yet fails on edge cases, invalid inputs, and other specification