---
格式版本: 2
标题: "Grading the Graders: Verification Autonomy Levels (L0-L5) for LLM Reasoning"
原文链接: "https://arxiv.org/abs/2608.19009"
发布日期: "2026-08-19"
发布时间校准状态: "found"
发布时间需复核: "否"
发布时间来源: "rule:local:strict_original_body"
发布时间证据: "**\\[v1\\]** Wed, 19 Aug 2026 15:10:00 UTC (473 KB)"
发布时间校准原因: "规则确认唯一严格发布时间，来源 local:strict_original_body"
发布时间校准置信度: "high"
发布时间候选数量: 18
发布时间严格候选数量: 6
发布时间原页读取状态: "source template page reused from URL open"
发布时间未找到原因: ""
发布时间校准时间: "2026-08-20T14:38:04+08:00"
发布时间仲裁状态: "skipped"
发布时间仲裁尝试次数: 0
发布时间仲裁耗时毫秒: 0
发现时间: "2026-08-20T14:35:51+08:00"
入库时间: "2026-08-20T06:38:04.732Z"
来源平台: "arXiv 学术论文搜索"
搜索渠道: "source_template"
搜索词: "https://arxiv.org/search/?query=Meta&searchtype=all"
匹配关键词:
  []
相关厂家:
  - "Meta"
相关专家:
  []
内容类型: "网页"
抓取工具: "Free Fetch + Defuddle"
清洗工具: "Defuddle Markdown + Defuddle/Readability 正文提取"
原始附件:
  []
AI优质: "否"
AI打分: 7
AI分档: "非优质"
AI质检状态: "不通过"
AI打分理由: "该论文为LLM推理验证方法研究，与超节点、AI Rack、机柜级AI基础设施、供电散热互连等主题完全无关，属明显无关资料。"
AI质检模型: "ali-deepseek-v4-flash"
AI质检时间: "2026-08-20T14:38:34+08:00"
AI主题相关性: 0
AI来源权威性: 3
AI新颖性: 2
AI技术细节: 0
AI商业部署信号: 0
AI完整性: 2
AI摘要: "作者提出验证自主等级（VAL）框架，将大模型推理验证方案按验证规范来源与判定保证从L0到L5分级，并指出完整验证只在形式可规范属性上可达，经验性开放世界验证最高止于L2锚定正确性。该框架还梳理了17篇论文中“等级”概念的混淆。"
AI摘要模型: "ali-deepseek-v4-flash"
AI摘要时间: "2026-09-07T03:20:09.707Z"
采集批次: "2026年8月20日14点19分32秒"
采集批次ID: "20260820-141932-079"
去重键: "https://arxiv.org/abs/2608.19009"
---

## Computer Science > Computation and Language

## Title:Grading the Graders: Verification Autonomy Levels (L0-L5) for LLM Reasoning

Authors:[Yajie Yin](https://arxiv.org/search/cs?searchtype=author&query=Yin,+Y)

[View PDF](https://arxiv.org/pdf/2608.19009)

> Abstract:Large language models (LLMs) are increasingly paired with verifiers (step checkers, self-consistency filters, tool-based fact checkers, formal proof assistants) that claim to detect the model's errors. Yet the verification literature uses the word "level" to mean at least five different things: verification granularity, concept abstraction, risk tier, system-stack layer, and the epistemic source of the ground truth. We propose Verification Autonomy Levels (VAL), a meta-standard classifying verification schemes along a single axis: where does the verification spec come from, and what does the verdict guarantee? VAL ranges from L0 (LLM self-declaration, no deterministic anchor) through L2 (objective ground truth, correctness only) to L3/L4 (decidable systems with single-property or domain-level completeness), with L5 impossible in the unrestricted case. Central to VAL is the completeness blind spot: substitution- and sampling-based verifiers can confirm that proposed candidates hold, but cannot prove that no candidate was missed. We further identify a dichotomy the literature has not stated: completeness is reachable only for formally specifiable properties, while empirical open-world verification (fact-checking, diagnosis) caps at anchored correctness (L2). We document this across four domains (symbolic mathematics, behavior monitoring, medical diagnosis, and code generation) and in the strongest existing formal-verification baseline, whose authors note the verifier "focuses on the correctness of each step." We show the levels of granularity, concept hierarchy, risk, and system stack are orthogonal to VAL, resolving a systematic conflation across 17 surveyed papers. Code and full assessment are released as supplementary material.

| Comments: |  |
| --- | --- |
| Subjects: | Computation and Language (cs.CL) |
| ACM classes: | I.2.7 |
| Cite as: | [arXiv:2608.19009](https://arxiv.org/abs/2608.19009) \[cs.CL\] |
|  | (or [arXiv:2608.19009v1](https://arxiv.org/abs/2608.19009v1) \[cs.CL\] for this version) |
|  | [https://doi.org/10.48550/arXiv.2608.19009](https://doi.org/10.48550/arXiv.2608.19009) |

## Submission history

From: YaJie Yin \[[view email](https://arxiv.org/show-email/f9fe1f0a/2608.19009)\]  
**\[v1\]** Wed, 19 Aug 2026 15:10:00 UTC (473 KB)

[Which authors of this paper are endorsers?](https://arxiv.org/auth/show-endorsers/2608.19009) | Disable MathJax ([What is MathJax?](https://info.arxiv.org/help/mathjax.html))