Program Enhanced Fact Verification with Verbalization and Graph Attention Network

10/06/2020
by   Xiaoyu Yang, et al.
0

Performing fact verification based on structured data is important for many real-life applications and is a challenging research problem, particularly when it involves both symbolic operations and informal inference based on language understanding. In this paper, we present a Program-enhanced Verbalization and Graph Attention Network (ProgVGAT) to integrate programs and execution into textual inference models. Specifically, a verbalization with program execution model is proposed to accumulate evidences that are embedded in operations over the tables. Built on that, we construct the graph attention verification networks, which are designed to fuse different sources of evidences from verbalized program execution, program structures, and the original statements and tables, to make the final verification decision. To support the above framework, we propose a program selection module optimized with a new training strategy based on margin loss, to produce more accurate programs, which is shown to be effective in enhancing the final verification results. Experimental results show that the proposed framework achieves the new state-of-the-art performance, a 74.4

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/22/2021

Exploring Decomposition for Table-based Fact Verification

Fact verification based on structured data is challenging as it requires...
research
09/05/2019

TabFact: A Large-scale Dataset for Table-based Fact Verification

The problem of verifying whether a textual hypothesis holds the truth ba...
research
04/28/2020

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

Verifying the correctness of a textual statement requires not only seman...
research
09/14/2021

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

Table-based fact verification task aims to verify whether the given stat...
research
12/05/2022

symQV: Automated Symbolic Verification of Quantum Programs

We present symQV, a symbolic execution framework for writing and verifyi...
research
09/25/2021

Graph Reasoning with Context-Aware Linearization for Interpretable Fact Extraction and Verification

This paper presents an end-to-end system for fact extraction and verific...
research
10/05/2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification

Current static verification techniques such as separation logic support ...

Please sign up or login with your details

Forgot password? Click here to reset