Visual Model Checking: Graph-based Inference Of Visual Routines For Image Retrieval

Abstract

Information retrieval lies at the foundation of the modern digital industry. While natural language search has seen dramatic progress in recent years largely driven by embedding-based models and large-scale pretraining, the field still faces significant challenges. Specifically, queries that involve complex relationships, object compositions, or precise constraints such as identities, counts and proportions often remain unresolved or unreliable within current frameworks. In this paper, we propose a novel framework that integrates formal verification into deep learning-based image retrieval through a synergistic combination of graph-based verification methods and neural code generation. Our approach aims to support open-vocabulary natural language queries while producing results that are both trustworthy and verifiable. By grounding retrieval results in a system of formal reasoning, we move beyond the ambiguity and approximation that often characterize vector representations. Instead of

Stats

• citations0
• S2 citations—
• github stars0
• HF likes0
• heat score0.00
• arxiv keymolina2026visual

Related papers

• Modernvbert: Towards Smaller Visual Document Retrievers (2025)0.00
• Genir: Generative Visual Feedback For Mental Image Retrieval (2025)0.00
• Scene Graph Based Image Retrieval -- A Case Study On The CLEVR Dataset (2019)0.00
• V-retrver: Evidence-driven Agentic Reasoning For Universal Multimodal Retrieval (2026)0.00
• Multi-modal Retrieval Using Graph Neural Networks (2020)0.00
• SCENIR: Visual Semantic Clarity Through Unsupervised Scene Graph Retrieval (2025)0.00
• RAVID: Retrieval-augmented Visual Detection: A Knowledge-driven Approach For Ai-generated Image Identification (2025)0.00
• Dynamic Spatial Verification For Large-scale Object-level Image Retrieval (2019)0.00