paper-with-me

Papers

Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing

2022-05-01 · ACL 2022 5 · Suixin Ou, Yongmei Liu

Table fact verification aims to check the correctness of textual statements based on given semi-structured data. Most existing methods are devoted to better comprehending logical operations and tables, but they hardly study generating latent programs from statements, with which we can not only retrieve evidences efficiently but also explain reasons behind verifications naturally. However, it is challenging to get correct programs with existing weakly supervised semantic parsers due to the huge search space with lots of spurious programs. In this paper, we address the challenge by leveraging both lexical features and structure features for program generation. Through analyzing the connection between the program tree and the dependency tree, we define a unified concept, operation-oriented tree, to mine structure features, and introduce Structure-Aware Semantic Parsing to integrate structure features into program generation. Moreover, we design a refined objective function with lexical features and violation punishments to further avoid spurious programs. Experimental results show that our proposed method generates programs more accurately than existing semantic parsers, and achieves comparable performance to the SOTA on the large-scale benchmark TABFACT.

📄 PDF Abstract BibTeX

Code (1)

ousuixin/sasp 공식 구현 pytorch

Tasks

Fact VerificationSemantic Parsing

Similar Papers 제목 키워드 기반

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability

2026-07-10 · Shirley Yu, Ruben Martins arxiv

Program verification is crucial for software correctness, but producing fully verified programs remains difficult in practice. This paper studies whether implementation structure affects automated verifiability when mult…

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

2021-09-14 · EMNLP 2021 11 · Qi Shi, Yu Zhang, Qingyu Yin, Ting Liu

Table-based fact verification task aims to verify whether the given statement is supported by the given semi-structured table. Symbolic reasoning with logical operations plays a crucial role in this task. Existing method…

Fact VerificationRetrievalTable-based Fact Verification

Program Enhanced Fact Verification with Verbalization and Graph Attention Network

2020-10-06 · EMNLP 2020 11 · Xiaoyu Yang, Feng Nie, Yufei Feng, Quan Liu 외

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 base…

Fact VerificationGraph Attention

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

2019-09-05 · ICLR 2020 1 · Wenhu Chen, Hongmin Wang, Jianshu Chen, Yunkai Zhang 외

The problem of verifying whether a textual hypothesis holds based on the given evidence, also known as fact verification, plays an important role in the study of natural language understanding and semantic representation…

16kFact CheckingFact VerificationLanguage Modelling+2

Exploring Decomposition for Table-based Fact Verification

2021-09-22 · Findings (EMNLP) 2021 11 · Xiaoyu Yang, Xiaodan Zhu

Fact verification based on structured data is challenging as it requires models to understand both natural language and symbolic operations performed over tables. Although pre-trained language models have demonstrated a …

Fact VerificationTable-based Fact Verification