mlsanityData to 14 Oct 2026

Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs

arXiv 2506.12509 ↗First posted 14 Jun 2025cs.AIcited by 8

On the map: LLM reasoning → Reasoning benchmarks and evaluation

Abstract (arXiv)

Verifying the complex and multi-step reasoning of Large Language Models (LLMs) is a critical challenge, as holistic methods often overlook localized flaws. Step-by-step validation is a promising alternative, yet existing methods are often rigid. They struggle to adapt to diverse reasoning structures, from formal proofs to informal natural language narratives. To address this adaptability gap, we propose the Graph of Verification (GoV), a novel framework for adaptable and multi-granular verification. GoV's core innovation is its flexible "node block" architecture. This mechanism allows GoV to adaptively adjust its verification granularity--from atomic steps for formal tasks to entire paragraphs for natural language--to match the native structure of the reasoning process. This flexibility allows GoV to resolve the fundamental trade-off between verification precision and robustness. Experiments on both well-structured and loosely-structured benchmarks demonstrate GoV's versatility. The results show that GoV's adaptive approach significantly outperforms both holistic baselines and other state-of-the-art decomposition-based methods, establishing a new standard for training-free reasoning verification.

Key facts. Cited by 8 papers in the map (data through 14 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 23 of its 24 references that are in the map. First posted on arXiv 14 Jun 2025.

Builds on

23 of 24 references.

Closest ancestors · 3

Same direction, newest first

  1. 2023A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning14 Nov
  2. 2023Question Decomposition Improves the Faithfulness of Model-Generated Reasoning17 Jul
  3. 2023Deductive Verification of Chain-of-Thought Reasoning6 Jun

Other references · 20

  1. 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 9,379
  2. 2023Judging LLM-as-a-Judge with MT-Bench and Chatbot Arenacited by 8,626
  3. 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
  4. 2023Reflexion: Language Agents with Verbal Reinforcement Learningcited by 4,276
  5. 2023Let's Verify Step by Stepcited by 3,789
  6. 2024A Survey on LLM-as-a-Judgecited by 1,423
  7. 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,076
  8. 2023Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotationscited by 928
  9. 2024Generative Verifiers: Reward Modeling as Next-Token Predictioncited by 480
  10. 2024Improve Mathematical Reasoning in Language Models by Automated Process Supervisioncited by 441
  11. 2025The Lessons of Developing Process Reward Models in Mathematical Reasoningcited by 415
  12. 2024ProcessBench: Identifying Process Errors in Mathematical Reasoningcited by 292
8 more
  1. 2024When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMscited by 240
  2. 2024LLM Critics Help Catch LLM Bugscited by 147
  3. 2024On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Taskscited by 142
  4. 2023Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistencycited by 46
  5. 2025Can Large Language Models Detect Errors in Long Chain-of-Thought Reasoning?cited by 44
  6. 2024LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedbackcited by 41
  7. 2025Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMscited by 22
  8. 2025Adaptive Graph of Thoughts: Test-Time Adaptive Reasoning Unifying Chain, Tree, and Graph Structurescited by 16

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 1; 2026: 7.

8 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2023GraphReason: Enhancing Reasoning Capabilities of Large Language Models through A Graph-Based Verification Approach
  2. 2025Grounding LLM Reasoning with Knowledge Graphs
  3. 2026VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
  4. 2026Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
  5. 2024MIDGARD: Self-Consistency Using Minimum Description Length for Structured Commonsense Reasoning
  6. 2025NCV: A Node-Wise Consistency Verification Approach for Low-Cost Structured Error Localization in LLM Reasoning
  7. 2023Reasoning on Graphs: Faithful and Interpretable Large Language Model Reasoning
  8. 2025Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving