{"about":{"non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","site":"https://codewithpapers.app","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page","syntology":{"site":"https://syntology.ai","developers":"https://syntology.ai/developers","mcp":{"server":"https://syntology.ai/mcp","transport":"streamable-http","server_card":"https://syntology.ai/.well-known/mcp/server-card.json","auth":{"type":"trial token, no account","trial_token":"https://syntology.ai/api/oauth/trial/token","method":"POST","docs":"https://syntology.ai/developers"}},"have":"https://syntology.ai/api/graph/have?x=<method, arXiv id or title> (free, answers coverage only)","paper_base":"https://syntology.ai/paper/","atlas_base":"https://app.syntology.ai/?focus="},"machine_readable":[{"url":"https://codewithpapers.app/llms.txt","what":"the machine catalog: every machine-readable file, counted"},{"url":"https://codewithpapers.app/index/manifest.json","what":"paper-to-code index by arXiv id, with Syntology's counts"},{"url":"https://codewithpapers.app/search/manifest.json","what":"site search index (titles, authors) and its files"},{"url":"https://codewithpapers.app/download","what":"bulk files: Syntology's layer, described there"},{"url":"https://codewithpapers.app/build_manifest.json","what":"the build record: inputs, counts, exclusions, probes"}]},"url":"/task/fact-verification/papers/3","list_of":"/task/fact-verification","task":"Fact Verification","archive":{"snapshot":"2025-07-28"},"key_notes":{"n_ran_checked":"legacy name, kept unchanged so existing readers do not break: it counts the samples that ran with no instrument failure (honoured, violated, and ran with no contract checked); it does not mean a contract was checked, and the pages print it as 'K with no instrument failure', not 'K checked'","n_constructed":"a sub-count of the samples that ran, never subtracted from them and never a failure: an executed sample whose run returned an instance of its own class (fixture_out_type equals the entry name): the run built an object and did not compute a result (Syntology's RAN record, counts.constructed)"},"syntology_read_at":"2026-09-28T10:30:06+00:00","order":"archive","order_definition":"repositories listed in the archive (most first), then date (newest first), then slug","page":3,"pages_in_order":3,"rows_per_page":100,"rows":[201,216],"of":216,"counts":{"archive_papers_tagged":216,"with_a_code_link":129,"where_syntology_ran_a_sample":41,"not_listed_spam_title":0,"listed":216,"listed_where_code_ran":41,"where_syntology_ran_a_sample_split":{"with_a_run_with_no_instrument_failure":33,"every_run_a_failure_of_syntologys_instrument":8,"listed_with_a_run_with_no_instrument_failure":33,"listed_every_run_a_failure_of_syntologys_instrument":8,"filter":{"states":["a run with no instrument failure","any run, instrument failures included"],"default":"a run with no instrument failure","note":"on the 'only where code ran' pages the default hides, in the browser, the rows where every run was a failure of Syntology's instrument; the second state shows them again. Rows are hidden, never re-ordered; these twins list every row"}},"definition":"distinct papers the archive tags; 'where Syntology ran a sample' counts papers with at least one harvested sample that ran, which is not a correctness claim"},"first_page":"/task/fact-verification","prev":"/task/fact-verification/papers/2","next":null,"papers":[{"url":null,"slug":"structural-encoding-and-pre-training-matter","title":"Structural Encoding and Pre-training Matter: Adapting BERT for Table-Based Fact Verification","date":"2021-04-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"fid-ex-improving-sequence-to-sequence-models","title":"FiD-Ex: Improving Sequence-to-Sequence Models for Extractive Rationale Generation","date":"2020-12-31","arxiv_id":"2012.15482","repositories_listed":0,"syntology":null},{"url":null,"slug":"learn-to-combine-linguistic-and-symbolic","title":"Learn to Combine Linguistic and Symbolic Information for Table-based Fact Verification","date":"2020-12-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"constrained-fact-verification-for-fever","title":"Constrained Fact Verification for FEVER","date":"2020-11-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"table-fact-verification-with-structure-aware","title":"Table Fact Verification with Structure-Aware Transformer","date":"2020-11-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"connecting-the-dots-between-fact-verification","title":"Connecting the Dots Between Fact Verification and Fake News Detection","date":"2020-10-11","arxiv_id":"2010.05202","repositories_listed":0,"syntology":null},{"url":null,"slug":"distilling-the-evidence-to-augment-fact","title":"Distilling the Evidence to Augment Fact Verification Models","date":"2020-07-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"graph-sequential-network-for-reasoning-over","title":"Graph Sequential Network for Reasoning over Sequences","date":"2020-04-04","arxiv_id":"2004.02001","repositories_listed":0,"syntology":null},{"url":null,"slug":"evaluating-adversarial-attacks-against","title":"Evaluating adversarial attacks against multiple fact verification systems","date":"2019-11-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"extract-and-aggregate-a-novel-domain","title":"Extract and Aggregate: A Novel Domain-Independent Approach to Factual Data Verification","date":"2019-11-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"scalable-knowledge-graph-construction-from-1","title":"Scalable Knowledge Graph Construction from Text Collections","date":"2019-11-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"190909868","title":"On the Importance of Delexicalization for Fact Verification","date":"2019-09-21","arxiv_id":"1909.09868","repositories_listed":0,"syntology":null},{"url":"/paper/reasoning-over-semantic-level-graph-for-fact","slug":"reasoning-over-semantic-level-graph-for-fact","title":"Reasoning Over Semantic-Level Graph for Fact Checking","date":"2019-09-09","arxiv_id":"1909.03745","repositories_listed":0,"syntology":null},{"url":null,"slug":"validation-of-facts-against-textual-sources","title":"Validation of Facts Against Textual Sources","date":"2019-09-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"attentivechecker-a-bi-directional-attention","title":"AttentiveChecker: A Bi-Directional Attention Flow Mechanism for Fact Verification","date":"2019-06-01","arxiv_id":null,"repositories_listed":0,"syntology":null},{"url":null,"slug":"qed-a-fact-verification-system-for-the-fever","title":"QED: A fact verification system for the FEVER shared task","date":"2018-11-01","arxiv_id":null,"repositories_listed":0,"syntology":null}],"record_sha256":"55ea480eb4aae3670891bacb76f9cb886d17f7eb14f74321061ca3e93e398ab6","record_changed_at":"2026-09-28","record_changed_at_basis":"first_hashed"}