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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

D-PathVer: Dynamic Reasoning Pathways for Complex Claim Verification

  • Lingxiao Zheng,
  • Zhunchen Luo,
  • Wenpeng Hu,
  • Yunbo Cao

摘要

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.