conftrace_

automated verification

11 papers

Explore in graph

Co-occurring keywords

evidence retrieval (233) formal verification (284) claim verification (204) misinformation detection (232) veracity prediction (29) fact checking (140) large language model (13587) smt solver (18) inductive invariant (4) safety property (8)

Papers

SANCTUARY: An Efficient Evidence-based Automated Fact Checking System ACL 2025
Zero-Shot Learning and Key Points Are All You Need for Automated Fact-Checking EMNLP 2024
The Automated Verification of Textual Claims (AVeriTeC) Shared Task EMNLP 2024
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023
Automated Verification of Social Laws in Numeric Settings AAAI 2023
Scientific Fact-Checking: A Survey of Resources and Approaches ACL 2023
Multimodal Automated Fact-Checking: A Survey EMNLP 2023
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Improving Evidence Retrieval for Automated Explainable Fact-Checking NAACL 2021
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols OSDI 2021
Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020