paper-with-me

홈 › Papers

VERITAS: Verification and Explanation of Realness in Images for Transparency in AI Systems

2025-07-07 · Aadi Srivastava, Vignesh Natarajkumar, Utkarsh Bheemanaboyna, Devisree Akashapu, Nagraj Gaonkar, Archit Joshi

The widespread and rapid adoption of AI-generated content, created by models such as Generative Adversarial Networks (GANs) and Diffusion Models, has revolutionized the digital media landscape by allowing efficient and creative content generation. However, these models also blur the difference between real images and AI-generated synthetic images, raising concerns regarding content authenticity and integrity. While many existing solutions to detect fake images focus solely on classification and higher-resolution images, they often lack transparency in their decision-making, making it difficult for users to understand why an image is classified as fake. In this paper, we present VERITAS, a comprehensive framework that not only accurately detects whether a small (32x32) image is AI-generated but also explains why it was classified that way through artifact localization and semantic reasoning. VERITAS produces human-readable explanations that describe key artifacts in synthetic images. We show that this architecture offers clear explanations of the basis of zero-shot synthetic image detection tasks. Code and relevant prompts can be found at https://github.com/V-i-g-n-e-s-h-N/VERITAS .

📄 PDF Abstract BibTeX arXiv:2507.05146

Code (1)

V-i-g-n-e-s-h-N/VERITAS 공식 구현

Tasks

Decision MakingSynthetic Image Detection

Methods 이 논문이 사용한 방법론

Diffusion Diffusion models generate samples by gradually removing noise from a signal, and their training objective can be expressed as a reweighted variational lower-bound…
Focus 설명 없음

Similar Papers 제목 키워드 기반

Versatile Verification of Tree Ensembles

2020-10-26 · Laurens Devos, Wannes Meert, Jesse Davis

Machine learned models often must abide by certain requirements (e.g., fairness or legal). This has spurred interested in developing approaches that can provably verify whether a model satisfies certain properties. This …

Fairness

SVeritas: Benchmark for Robust Speaker Verification under Diverse Conditions

2025-09-21 · Massa Baali, Sarthak Bisht, Francisco Teixeira, Kateryna Shapovalenko 외 arxiv

Speaker verification (SV) models are increasingly integrated into security, personalization, and access control systems, yet their robustness to many real-world challenges remains inadequately benchmarked. These include …

Speaker Verification

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C

2025-08-11 · Pedro Orvalho, Marta Kwiatkowska arxiv

Python has become the dominant language for general-purpose programming, yet it lacks robust tools for formal verification. In contrast, programmers working in languages such as C benefit from mature model checkers, for …

Fault Diagnosis

VERITAS: Towards a General-Purpose Replication Tool for Scientific Research

2026-07-03 · Haokun Liu, Filbert Aurelian Tjiaranata, Chenhao Tan arxiv

AI tools are accelerating scientific publication while the systems that review it struggle to keep up, and independent verification of published research has become both harder and more important. As manual replication i…

VERITAS: A Unified Approach to Reliability Evaluation

2024-11-05 · Rajkumar Ramamurthy, Meghana Arakkal Rajeev, Oliver Molenschot, James Zou 외

Large language models (LLMs) often fail to synthesize information from their context to generate an accurate response. This renders them unreliable in knowledge intensive settings where reliability of the output is key. …

Fact CheckingHallucinationQuestion Answering