Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs
Jiwei Fang, Bin Zhang, Changwei Wang, Jin Wan, Zhiwei Xu

TL;DR
The paper introduces Graph of Verification (GoV), a flexible framework for verifying LLM reasoning that adapts to different structures and granularity levels, improving accuracy over existing methods.
Contribution
It presents the novel GoV framework with a node block architecture that adaptively adjusts verification granularity for diverse reasoning structures.
Findings
GoV outperforms holistic baselines in verification accuracy.
GoV demonstrates versatility across structured and unstructured benchmarks.
The adaptive approach improves robustness and precision in reasoning verification.
Abstract
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.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Natural Language Processing Techniques · Formal Methods in Verification
