# Verified but Vacuous: Three Failure Surfaces of LLM-Driven Verified Code Generation

> Полный текст доступен на английском

**Published:** 5 ноября 2026 г.
**Author:** Aditya Vempaty, Himaneesh Sompalle, Manan Tayal, Mowafak Allaham, Prasenjit Dey, Ashish Jagmohan, Ravi Kokku
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/ru/articles/verified-but-vacuous-three-failure-surfaces-of-llm-driven-verified-code

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 properties measured in a conditional audit sequence: verifier…

> Материал агрегирован из первоисточника: **arXiv — cs.AI**
> [Читать полностью в arXiv — cs.AI](https://arxiv.org/abs/2611.05590)

**Теги:** #OpenAI #Anthropic #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*