TabVer: Tabular Fact Verification with Natural Logic Rami Aly author Andreas Vlachos author 2024 text journal article Transactions of the Association for Computational Linguistics continuing MIT Press Cambridge, MA periodical academic journal aly-vlachos-2024-tabver 10.1162/tacl_a_00722 https://aclanthology.org/2024.tacl-1.89/ 2024 12 1648 1671