{"list":"other","total":88,"rows":[{"id":"1803.05355","title":"FEVER: a large-scale dataset for Fact Extraction and VERification","created":"2018-03-14","cited_by_count":1375},{"id":"2305.14251","title":"FActScore: Fine-grained Atomic Evaluation of Factual Precision in Long Form Text Generation","created":"2023-05-23","cited_by_count":1282},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"2004.14974","title":"Fact or Fiction: Verifying Scientific Claims","created":"2020-04-30","cited_by_count":554},{"id":"1909.02164","title":"TabFact: A Large-scale Dataset for Table-based Fact Verification","created":"2019-09-05","cited_by_count":428},{"id":"2305.12295","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","created":"2023-05-20","cited_by_count":391},{"id":"2108.11896","title":"A Survey on Automated Fact-Checking","created":"2021-08-26","cited_by_count":378},{"id":"2208.02814","title":"Conformal Risk Control","created":"2022-08-04","cited_by_count":299},{"id":"2103.06624","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","created":"2021-03-11","cited_by_count":228},{"id":"2010.09926","title":"Explainable Automated Fact-Checking for Public Health Claims","created":"2020-10-19","cited_by_count":211},{"id":"2011.03088","title":"HoVer: A Dataset for Many-Hop Fact Extraction And Claim Verification","created":"2020-11-05","cited_by_count":201},{"id":"1909.00986","title":"Certified Robustness to Adversarial Word Substitutions","created":"2019-09-03","cited_by_count":168},{"id":"2106.05707","title":"FEVEROUS: Fact Extraction and VERification Over Unstructured and Structured information","created":"2021-06-10","cited_by_count":167},{"id":"2305.12744","title":"Fact-Checking Complex Claims with Program-Guided Reasoning","created":"2023-05-22","cited_by_count":146},{"id":"2103.07769","title":"Automated Fact-Checking for Assisting Human Fact-Checkers","created":"2021-03-13","cited_by_count":144},{"id":"2305.13117","title":"AVeriTeC: A Dataset for Real-world Claim Verification with Evidence from the Web","created":"2023-05-22","cited_by_count":144},{"id":"2402.10978","title":"Language Models with Conformal Factuality Guarantees","created":"2024-02-15","cited_by_count":131},{"id":"1909.01492","title":"Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation","created":"2019-09-03","cited_by_count":88},{"id":"2011.03870","title":"Explainable Automated Fact-Checking: A Survey","created":"2020-11-07","cited_by_count":83},{"id":"2005.06058","title":"That is a Known Lie: Detecting Previously Fact-Checked Claims","created":"2020-05-12","cited_by_count":82},{"id":"2005.14424","title":"SAFER: A Structure-free Approach for Certified Robustness to Adversarial Word Substitutions","created":"2020-05-29","cited_by_count":73},{"id":"1505.04406","title":"Hinge-Loss Markov Random Fields and Probabilistic Soft Logic","created":"2015-05-17","cited_by_count":63},{"id":"2307.07696","title":"Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text","created":"2023-07-15","cited_by_count":59},{"id":"2109.11427","title":"Automated Fact-Checking: A Survey","created":"2021-09-23","cited_by_count":55},{"id":"2108.11357","title":"ProoFVer: Natural Logic Theorem Proving for Fact Verification","created":"2021-08-25","cited_by_count":53},{"id":"2210.13865","title":"Missing Counter-Evidence Renders NLP Fact-Checking Unrealistic for Misinformation","created":"2022-10-25","cited_by_count":45},{"id":"2202.09381","title":"Synthetic Disinformation Attacks on Automated Fact Verification Systems","created":"2022-02-18","cited_by_count":44},{"id":"1505.02463","title":"A Survey on Truth Discovery","created":"2015-05-11","cited_by_count":36},{"id":"2411.02400","title":"Decomposition Dilemmas: Does Claim Decomposition Boost or Burden Fact-Checking Performance?","created":"2024-10-17","cited_by_count":36},{"id":"2401.11969","title":"Claim Detection for Automated Fact-checking: A Survey on Monolingual, Multilingual and Cross-Lingual Research","created":"2024-01-22","cited_by_count":35},{"id":"1702.04311","title":"A storm is Coming: A Modern Probabilistic Model Checker","created":"2017-02-14","cited_by_count":34},{"id":"2402.17861","title":"Towards AI Accountability Infrastructure: Gaps and Opportunities in AI Audit Tooling","created":"2024-02-27","cited_by_count":29},{"id":"2502.09083","title":"Show Me the Work: Fact-Checkers' Requirements for Explainable Automated Fact-Checking","created":"2025-02-13","cited_by_count":29},{"id":"2408.11832","title":"OpenFactCheck: A Unified Framework for Factuality Evaluation of LLMs","created":"2024-08-06","cited_by_count":28},{"id":"2512.19007","title":"The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results","created":"2025-12-22","cited_by_count":27},{"id":"2004.13659","title":"LogicalFactChecker: Leveraging Logical Operations for Fact Checking with Graph Module Network","created":"2020-04-28","cited_by_count":26},{"id":"2408.14317","title":"Claim Verification in the Age of Large Language Models: A Survey","created":"2024-08-26","cited_by_count":24},{"id":"1510.05911","title":"Discriminative Predicate Path Mining for Fact Checking in Knowledge Graphs","created":"2015-10-20","cited_by_count":23},{"id":"1906.09198","title":"Explainable Fact Checking with Probabilistic Answer Set Programming","created":"2019-06-21","cited_by_count":23},{"id":"2403.17169","title":"QuanTemp: A real-world open-domain benchmark for fact-checking numerical claims","created":"2024-03-25","cited_by_count":23},{"id":"2502.06884","title":"Learning Conformal Abstention Policies for Adaptive Risk Management in Large Language and Vision-Language Models","created":"2025-02-08","cited_by_count":21},{"id":"2405.02318","title":"Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection","created":"2024-04-18","cited_by_count":18},{"id":"1708.07239","title":"Finding Streams in Knowledge Graphs to Support Fact Checking","created":"2017-08-24","cited_by_count":17},{"id":"2205.10894","title":"Human and technological infrastructures of fact-checking","created":"2022-05-22","cited_by_count":16},{"id":"2305.05964","title":"Interpretable Multimodal Misinformation Detection with Logic Reasoning","created":"2023-05-10","cited_by_count":16},{"id":"2407.12853","title":"Automated Justification Production for Claim Veracity in Fact Checking: A Survey on Architectures and Approaches","created":"2024-07-09","cited_by_count":15},{"id":"2212.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-10","cited_by_count":12},{"id":"2310.14198","title":"QA-NatVer: Question Answering for Natural Logic-based Fact Verification","created":"2023-10-22","cited_by_count":8},{"id":"2403.20322","title":"Towards a Framework for Evaluating Explanations in Automated Fact Verification","created":"2024-03-29","cited_by_count":7},{"id":"2405.12336","title":"Interoperable Provenance Authentication of Broadcast Media using Open Standards-based Metadata, Watermarking and Cryptography","created":"2024-05-20","cited_by_count":6},{"id":"2512.23511","title":"Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving","created":"2025-12-29","cited_by_count":6},{"id":"2410.03341","title":"Zero-Shot Fact Verification via Natural Logic and Large Language Models","created":"2024-10-04","cited_by_count":5},{"id":"2107.03265","title":"Contrastive Explanations for Argumentation-Based Conclusions","created":"2021-07-07","cited_by_count":4},{"id":"2308.12215","title":"SoK: Machine Learning for Misinformation Detection","created":"2023-08-23","cited_by_count":4},{"id":"2407.01295","title":"Towards Formal Verification of Deep Neural Networks for Object Detection","created":"2024-07-01","cited_by_count":4},{"id":"2503.14626","title":"An Explainable Framework for Misinformation Identification via Critical Question Answering","created":"2025-03-18","cited_by_count":4},{"id":"2512.13907","title":"Assessing High-Risk AI Systems under the EU AI Act: From Legal Requirements to Technical Verification","created":"2025-12-15","cited_by_count":4},{"id":"2602.16944","title":"Exact Certification of Data-Poisoning Attacks Using Mixed-Integer Programming","created":"2026-02-18","cited_by_count":4},{"id":"1808.10717","title":"TeSSLa: Temporal Stream-based Specification Language","created":"2018-08-31","cited_by_count":3},{"id":"2112.09542","title":"A Formal Model for Polarization under Confirmation Bias in Social Networks","created":"2021-12-17","cited_by_count":3},{"id":"2411.01093","title":"TabVer: Tabular Fact Verification with Natural Logic","created":"2024-11-02","cited_by_count":3},{"id":"2506.14067","title":"Online Conformal Abstention Under Adversarial Bandit Feedback","created":"2025-06-16","cited_by_count":3},{"id":"2606.16118","title":"Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning","created":"2026-06-15","cited_by_count":3},{"id":"1908.09658","title":"Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)","created":"2019-08-26","cited_by_count":2},{"id":"2402.11351","title":"Modeling the amplification of epidemic spread by individuals exposed to misinformation on social media","created":"2024-02-17","cited_by_count":2},{"id":"2502.19023","title":"Dealing with Inconsistency for Reasoning over Knowledge Graphs: A Survey","created":"2025-02-26","cited_by_count":2},{"id":"2504.19023","title":"GLaMoR: Consistency Checking of OWL Ontologies using Graph Language Models","created":"2025-04-26","cited_by_count":2},{"id":"2511.14435","title":"Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems","created":"2025-11-18","cited_by_count":2},{"id":"2602.11221","title":"The Automatic Verification of Image-Text Claims (AVerImaTeC) Shared Task","created":"2026-02-11","cited_by_count":2},{"id":"2604.24890","title":"Verifying Provenance of Digital Media: Why the C2PA Specifications Fall Short","created":"2026-04-27","cited_by_count":2},{"id":"2608.10213","title":"VeriFin: A Neurosymbolic Framework for Verifying LLM-Generated Financial Claims","created":"2026-08-10","cited_by_count":2},{"id":"1406.0155","title":"On the measure of conflicts: A MUS-Decomposition Based Framework","created":"2014-06-01","cited_by_count":1},{"id":"2205.14269","title":"Temporal graph patterns by timed automata","created":"2022-05-27","cited_by_count":1},{"id":"2305.07350","title":"Detecting Coordinated Inauthentic Behavior in Likes on Social Media: Proof of Concept","created":"2023-05-12","cited_by_count":1},{"id":"2307.05062","title":"System of Spheres-based Two Level Credibility-limited Revisions","created":"2023-07-11","cited_by_count":1},{"id":"2407.04169","title":"Solutions to Deepfakes: Can Camera Hardware, Cryptography, and Deep Learning Verify Real Images?","created":"2024-07-04","cited_by_count":1},{"id":"2408.05773","title":"Neurosymbolic Methods for Rule Mining","created":"2024-08-11","cited_by_count":1},{"id":"2409.06692","title":"HybridFC: A Hybrid Fact-Checking Approach for Knowledge Graphs","created":"2024-09-10","cited_by_count":1},{"id":"2502.20997","title":"Toward interoperable representation and sharing of disinformation incidents in cyber threat intelligence","created":"2025-02-28","cited_by_count":1},{"id":"2504.01803","title":"DISINFOX: an open-source threat exchange platform serving intelligence on disinformation and influence operations","created":"2025-04-02","cited_by_count":1},{"id":"2505.03345","title":"Elevating Cyber Threat Intelligence against Disinformation Campaigns with LLM-based Concept Extraction and the FakeCTI Dataset","created":"2025-05-06","cited_by_count":1},{"id":"2511.11366","title":"Grid-STIX: A STIX 2.1-Compliant Cyber-Physical Security Ontology for Power Grid","created":"2025-11-14","cited_by_count":1},{"id":"2512.19677","title":"Detecting Coordinated Activities Through Temporal, Multiplex, and Collaborative Analysis","created":"2025-12-22","cited_by_count":1},{"id":"2603.05653","title":"The DSA's Blind Spot: Algorithmic Audit of Advertising and Minor Profiling on TikTok","created":"2026-03-05","cited_by_count":1},{"id":"2603.17233","title":"Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning","created":"2026-03-18","cited_by_count":1},{"id":"2604.04177","title":"Position: Logical Soundness is not a Reliable Criterion for Neurosymbolic Fact-Checking with LLMs","created":"2026-04-05","cited_by_count":1},{"id":"2605.20923","title":"Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows","created":"2026-05-20","cited_by_count":1},{"id":"2606.20837","title":"Study on Quantitative Dynamic Epistemic Logic for Belief Revision","created":"2026-06-18","cited_by_count":1}],"next_cursor":null}