Abstract:Existing studies on table-based fact verification generally capture linguistic evidence from claim-table subgraphs or logical evidence from program-table subgraphs independently. However, there is insufficient association interaction between the two types of evidence, which makes it difficult to obtain valuable consistency features between them. In this work, we propose heuristic heterogeneous graph reasoning networks (H2GRN) to capture the shared consistent evidence by strengthening associations between linguistic and logical evidence from two perspectives of graph construction and reasoning mechanism. Specifically, 1) to enhance the close connectivity of the two subgraphs, rather than simply connecting two subgraphs by the nodes with the same content (the constructed graph in this way has severe sparsity), we construct a heuristic heterogeneous graph, which relies on claim semantics as heuristic knowledge to guide the connections of the program-table subgraph, and in turn expands the connectivity of the claim-table subgraph through logical information of programs as heuristic knowledge; and 2) to establish adequate association interaction between linguistic evidence and logical evidence, we design multiview reasoning networks. In detail, we propose local-view multihop knowledge reasoning (MKR) networks to enable the current node to establish association not only with one-hop neighbors, but also with multihop neighbors, to capture context-richer evidence information. We execute MKR on heuristic claim-table and program-table subgraphs to learn context-richer linguistic evidence and logical evidence, respectively. Meanwhile, we develop global-view graph dual-attention networks (DAN) that execute on the entire heuristic heterogeneous graph, reinforcing global-level significant consistency evidence. Finally, the consistency fusion layer is devised to weaken the disagreement between the three types of evidence to assist in capturing consistent shared evidence for verifying claims. Experiments on TABFACT and FEVEROUS demonstrate the effectiveness of H2GRN.

Solving Table-based Fact Verification with Mixture of Logical Reasoning

Learning Latent Variable for Logical Reasoning in Table-Based Fact Verification

TabMoE: A General Framework for Diverse Table-Based Reasoning with Mixture-of-Experts

Table-based Fact Verification with Self-adaptive Mixture of Experts

Learn to Combine Linguistic and Symbolic Information for Table-based Fact Verification.

Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification

FLEXTAF: Enhancing Table Reasoning with Flexible Tabular Formats

Table Fact Verification with Structure-Aware Transformer

Heuristic Heterogeneous Graph Reasoning Networks for Fact Verification

Are Large Language Models Table-based Fact-Checkers?

Dual-Channel Evidence Fusion for Fact Verification over Texts and Tables

Bridging Textual and Tabular Worlds for Fact Verification: A Lightweight, Attention-Based Model

LogicalFactChecker: Leveraging Logical Operations for Fact Checking with Graph Module Network

Toward a Unified Framework for Unsupervised Complex Tabular Reasoning.

Fact-driven Logical Reasoning

Enhancing diversity for logical table‐to‐text generation with mixture of experts

Enhancing Structured Evidence Extraction for Fact Verification

GraphOTTER: Evolving LLM-based Graph Reasoning for Complex Table Question Answering

Tree-of-Table: Unleashing the Power of LLMs for Enhanced Large-Scale Table Understanding

Chain-of-Table: Evolving Tables in the Reasoning Chain for Table Understanding

Fact :Teaching MLLMs with Faithful, Concise and Transferable Rationales