conftrace_

automated verification

12 papers

Explore in graph

Co-occurring keywords · papers mentioning both

evidence retrieval (4) formal verification (3) claim verification (3) misinformation detection (2) veracity prediction (2) fact checking (2) large language model (2) inductive invariant (2) smt solver (2) safety property (2)

Papers

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