Verified but vacuous: three failure surfaces of LLM-driven verified code generation
Read the original at arxiv.org→arXiv:2611.05590v1 Announce Type: new Abstract: What should ``verified'' mean when evaluating LLM-generated code? Many existing pipelines report a single verification number. We argue this collapses three distinct...
Original headline: "Verified but Vacuous: Three Failure Surfaces of LLM-Driven Verified Code Generation"
Coverage timeline
- Nov 5, 05:00 UTC arXiv cs.AI lead source Verified but Vacuous: Three Failure Surfaces of LLM-Driven Verified Code Generation