ProoFVer: Natural Logic Theorem Proving for Fact Verification

25 August 2021

Papers citing "ProoFVer: Natural Logic Theorem Proving for Fact Verification"

9 / 9 papers shown

Title
TabVer: Tabular Fact Verification with Natural Logic Rami Aly Andreas Vlachos LMTD 26 0 0 02 Nov 2024
TANQ: An open domain dataset of table answered questions Mubashara Akhtar Chenxi Pang Andreea Marzoca Yasemin Altun Julian Martin Eisenschlos LMTD RALM 41 1 0 13 May 2024
The Critique of Critique Shichao Sun Junlong Li Weizhe Yuan Ruifeng Yuan Wenjie Li Pengfei Liu ELM 32 0 0 09 Jan 2024
Rethinking Offensive Text Detection as a Multi-Hop Reasoning Problem Qiang Zhang Jason Naradowsky Yusuke Miyao LRM 23 5 0 22 Apr 2022
Explainable Automated Fact-Checking for Public Health Claims Neema Kotonya Francesca Toni 216 249 0 19 Oct 2020
Big Bird: Transformers for Longer Sequences Manzil Zaheer Guru Guruganesh Kumar Avinava Dubey Joshua Ainslie Chris Alberti ... Philip Pham Anirudh Ravula Qifan Wang Li Yang Amr Ahmed VLM 251 2,012 0 28 Jul 2020
Revealing the Importance of Semantic Retrieval for Machine Reading at Scale Yixin Nie Songhe Wang Mohit Bansal RALM 156 134 0 17 Sep 2019
Reasoning Over Semantic-Level Graph for Fact Checking Wanjun Zhong Jingjing Xu Duyu Tang Zenan Xu Nan Duan M. Zhou Jiahai Wang Jian Yin HILM GNN 177 165 0 09 Sep 2019
Towards A Rigorous Science of Interpretable Machine Learning Finale Doshi-Velez Been Kim XAI FaML 225 3,681 0 28 Feb 2017