D-PathVer: Dynamic Reasoning Pathways for Complex Claim Verification
摘要
The verification of complex claims has increasingly adopted the Decompose-Then-Verify paradigm. This approach first decomposes a complex claim into independent sub-claims, then verifies each sub-claim separately, and finally aggregates the verification results. However, during the verification process, the logical relationships between sub-claims are often overlooked. This leads to only validation of surface-level factual information within complex claims while lacking comprehensive modeling of their internal logical relationships. In this paper, we propose the Dynamic reasoning PATHways for complex claim VERification, D-PathVer. D-PathVer first decomposes a complex claim into atomic facts based on the logical relationships within the claims, then questions and reasons about the logical relationships between these facts to dynamically construct reasoning pathways. This approach iteratively generates intermediate sub-claims to validate the primary claim through a stepwise verification framework. Furthermore, we introduce a challenging benchmark for complex claim verification, specifically designed to encompass diverse logical relationships. We evaluate D-PathVer on both public and LogiClaim datasets against the Decompose-Then-Verify methods. The results demonstrate the effectiveness of the dynamic reasoning pathway construction method.