atlas

Research map / Vision-language and multimodal / Human and embodied modeling

LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction

AAAI 2025 · Vision-language and multimodal › Human and embodied modeling · approach: Abstract visual reasoning benchmarks · 19 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Uses GPT-4o/LLaVA via guided chain-of-thought, ROI cropping and embedding-based outlier filtering to extract text features for one-shot logical anomaly detection, plus a Prover9-based logic reasoner for explanations.

Problem

One-shot logical anomaly detection in industrial images (e.g., missing, extra, or misplaced objects), where CLIP-based and visual memory-bank methods perform poorly and lack explanations.

Approach

Replace visual features with text features extracted from autovisual-language models (AVLMs) via guided chain-of-thought prompts, GroundingDINO region crops, and LOF-based filtering of multiple text samples; compare normal and query text embeddings for anomaly scores, and optionally use an LLM-to-formal-logic pipeline with Prover9 theorem proving for explainable detection.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Add Guided CoT (ablation)LogicAD · MVTec LOCO ADAUROC: 23.4 -> 48.5Helped
Add ROI extraction to Guided CoT (ablation)LogicAD · MVTec LOCO ADAUROC: 48.5 -> 60.4Helped
Add format embedding to Guided CoT + ROI (ablation)LogicAD · MVTec LOCO ADAUROC: 60.4 -> 86.0Helped
Use the logic reasoner instead of format embedding (ablation)LogicAD with Guided CoT + ROI · MVTec LOCO ADF1-max: 83.7 -> 83.3Hurt
Use LLaVA 1.5 instead of GPT-4oLogicAD · MVTec LOCO ADAUROC: 86.0 -> 73.3Hurt
Use LLaVA 1.5 instead of GPT-4oLogicAD · MVTec LOCO ADF1-max: 83.2 -> 71.0Hurt
Use LLaVA 1.6 instead of GPT-4oLogicAD · MVTec LOCO ADAUROC: 86.0 -> 76.2Hurt
Use LLaVA 1.6 instead of GPT-4oLogicAD · MVTec LOCO ADF1-max: 83.2 -> 78.1Hurt
Use LogicAD instead of AnomalyMoEOne-shot logical anomaly detection · MVTec LOCO AD (only LA)AUROC: 67.9 -> 86.0Helped
Use LogicAD instead of AnomalyMoEOne-shot logical anomaly detection · MVTec LOCO AD (only LA)F1-max: 79.1 -> 83.7Helped
Use LogicAD instead of WinCLIPAnomaly detection on LA-related MVTec AD objects · MVTec AD Object*AUROC: 80.9 -> 86.5Helped
Use LogicAD instead of PatchCoreAnomaly detection · MVTec LOCO AD (only SA)AUROC: 89.3 -> 81.5Hurt

Surprising findings

Limitations

Experimental setup

Datasets: MVTec LOCO AD MVTec AD CountBench

Benchmarks: MVTec LOCO AD MVTec AD

Metrics: AUROC F1-max

Baselines: AnomalyMoE WinCLIP GCAD PatchCore ComAD AST AnomalyCLIP VAND

Builds on: WinCLIP GroundingDINO Prover9 Local Outlier Factor

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy