{"url":"/task/table-based-fact-verification","name":"Table-based Fact Verification","slug":"table-based-fact-verification","description_markdown":"Verifying facts given semi-structured data.","categories":[{"name":"Natural Language Processing","url":"/area/natural-language-processing"}],"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","slug_source":"archive_url"},"counts":{"papers_tagged":26,"papers_with_code":19,"benchmarks":1,"benchmark_tables_in_archive":1,"benchmark_tables_shown":1,"benchmark_tables_withheld_as_spam":0,"benchmark_definition":"a leaderboard table with at least one row; benchmark_tables_shown also counts the zero-row tables; benchmark_tables_in_archive adds the tables withheld as spam","datasets":2,"subtasks":0,"parent_tasks":0},"benchmarks":[{"leaderboard":"/sota/table-based-fact-verification-on-tabfact","slug":"table-based-fact-verification-on-tabfact","dataset":"TabFact","dataset_url":"/dataset/tabfact","rows_in_archive":15,"metrics":["Test","Val"],"first_row_in_archive_order":{"model":"ARTEMIS-DA","paper_title":"ARTEMIS-DA: An Advanced Reasoning and Transformation Engine for Multi-Step Insight Synthesis in Data Analytics","paper_url":"/paper/advanced-reasoning-and-transformation-engine","paper_date":"2024-12-18","arxiv_id":"2412.14146","code_links":[],"syntology":null}}],"datasets":[{"url":"/dataset/tabfact","name":"TabFact","full_name":"TabFact","num_papers_in_archive":129},{"url":"/dataset/infotabs","name":"InfoTabS","full_name":"","num_papers_in_archive":18}],"subtasks":[],"parent_tasks":[],"papers":{"order":"repositories listed in the archive (desc), then date (desc); the archive holds no stars","population":"papers tagged with this task that list at least one repository in the archive","shown":19,"of":19,"tagged_in_all":26,"items":[{"url":"/paper/binding-language-models-in-symbolic-languages","title":"Binding Language Models in Symbolic Languages","date":"2022-10-06","arxiv_id":"2210.02875","repositories_listed":4,"syntology":{"n":3,"n_ran":2,"n_unverified":1,"n_pointer_only":0}},{"url":"/paper/tapex-table-pre-training-via-learning-a","title":"TAPEX: Table Pre-training via Learning a Neural SQL Executor","date":"2021-07-16","arxiv_id":"2107.07653","repositories_listed":4,"syntology":null},{"url":"/paper/tabsqlify-enhancing-reasoning-capabilities-of","title":"TabSQLify: Enhancing Reasoning Capabilities of LLMs Through Table Decomposition","date":"2024-04-15","arxiv_id":"2404.10150","repositories_listed":2,"syntology":{"n":15,"n_ran":7,"n_unverified":8,"n_pointer_only":15}},{"url":"/paper/chain-of-table-evolving-tables-in-the","title":"Chain-of-Table: Evolving Tables in the Reasoning Chain for Table Understanding","date":"2024-01-09","arxiv_id":"2401.04398","repositories_listed":2,"syntology":{"n":8,"n_ran":6,"n_unverified":2,"n_pointer_only":0}},{"url":"/paper/large-language-models-are-versatile","title":"Large Language Models are Versatile Decomposers: Decompose Evidence and Questions for Table-based Reasoning","date":"2023-01-31","arxiv_id":"2301.13808","repositories_listed":2,"syntology":null},{"url":"/paper/tart-an-open-source-tool-augmented-framework","title":"TART: An Open-Source Tool-Augmented Framework for Explainable Table-based Reasoning","date":"2024-09-18","arxiv_id":"2409.11724","repositories_listed":1,"syntology":null},{"url":"/paper/normtab-improving-symbolic-reasoning-in-llms","title":"NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization","date":"2024-06-25","arxiv_id":"2406.17961","repositories_listed":1,"syntology":null},{"url":"/paper/are-large-language-models-table-based-fact","title":"Are Large Language Models Table-based Fact-Checkers?","date":"2024-02-04","arxiv_id":"2402.02549","repositories_listed":1,"syntology":null},{"url":"/paper/heuristic-heterogeneous-graph-reasoning","title":"Heuristic Heterogeneous Graph Reasoning Networks for Fact Verification","date":"2023-06-13","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/pasta-table-operations-aware-fact","title":"PASTA: Table-Operations Aware Fact Verification via Sentence-Table Cloze Pre-training","date":"2022-11-05","arxiv_id":"2211.02816","repositories_listed":1,"syntology":{"n":6,"n_ran":1,"n_unverified":5,"n_pointer_only":0}},{"url":"/paper/reastap-injecting-table-reasoning-skills","title":"ReasTAP: Injecting Table Reasoning Skills During Pre-training via Synthetic Reasoning Examples","date":"2022-10-22","arxiv_id":"2210.12374","repositories_listed":1,"syntology":{"n":11,"n_ran":0,"n_unverified":11,"n_pointer_only":0}},{"url":"/paper/table-based-fact-verification-with-self-1","title":"Table-based Fact Verification with Self-adaptive Mixture of Experts","date":"2022-04-19","arxiv_id":"2204.08753","repositories_listed":1,"syntology":{"n":2,"n_ran":1,"n_unverified":1,"n_pointer_only":0}},{"url":"/paper/unifiedskg-unifying-and-multi-tasking","title":"UnifiedSKG: Unifying and Multi-Tasking Structured Knowledge Grounding with Text-to-Text Language Models","date":"2022-01-16","arxiv_id":"2201.05966","repositories_listed":1,"syntology":{"n":5,"n_ran":1,"n_unverified":4,"n_pointer_only":0}},{"url":"/paper/exploring-decomposition-for-table-based-fact","title":"Exploring Decomposition for Table-based Fact Verification","date":"2021-09-22","arxiv_id":"2109.11020","repositories_listed":1,"syntology":null},{"url":"/paper/logic-level-evidence-retrieval-and-graph","title":"Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification","date":"2021-09-14","arxiv_id":"2109.06480","repositories_listed":1,"syntology":{"n":7,"n_ran":6,"n_unverified":1,"n_pointer_only":7}},{"url":"/paper/table-based-fact-verification-with-salience","title":"Table-based Fact Verification with Salience-aware Learning","date":"2021-09-09","arxiv_id":"2109.04053","repositories_listed":1,"syntology":null},{"url":"/paper/attestable-at-semeval-2021-task-9-extending","title":"AttesTable at SemEval-2021 Task 9: Extending Statement Verification with Tables for Unknown Class, and Semantic Evidence Finding","date":"2021-08-01","arxiv_id":null,"repositories_listed":1,"syntology":null},{"url":"/paper/understanding-tables-with-intermediate-pre","title":"Understanding tables with intermediate pre-training","date":"2020-10-01","arxiv_id":"2010.00571","repositories_listed":1,"syntology":null},{"url":"/paper/tabfact-a-large-scale-dataset-for-table-based","title":"TabFact: A Large-scale Dataset for Table-based Fact Verification","date":"2019-09-05","arxiv_id":"1909.02164","repositories_listed":1,"syntology":{"n":3,"n_ran":2,"n_unverified":1,"n_pointer_only":2}}],"syntology_records":9,"syntology_note":"a paper without a record is not a recorded non-run: it may lack an arXiv id or simply be absent from the graph layer"},"description_links":{"kept":0,"unwrapped_to_text":0,"bare_urls_linked":0,"relative_images_dropped":0,"rule":"internal links are kept only when the target slug exists in the catalog"},"syntology":{"read_at":"2026-09-24T18:15:14+00:00","claim":"Per-sample execution status on synthesized fixtures ('ran N of M samples'); not a correctness claim and not a ranking signal.","status_vocabulary":{"ran_honours":"ran, honoured the contract we drafted","ran_violates":"ran, violated the contract we drafted","ran_draft_wrong":"ran; our contract draft was wrong, not the code","ran_fixture":"ran; our fixture could not drive it","ran":"ran on a synthesized input","unverified":"unverified (harvested, no recorded run)"}},"not_shown":{"libraries":"the archive has no per-task library table","trend_sparklines":"the Trend column of the benchmarks table was a rendered image; it is not in the archive","social_and_latest_sorts":"stars and social signals are not in the archive"}}