paper-with-me

Papers

Make it SING: Analyzing Semantic Invariants in Classifiers

2026-03-15 · Harel Yadid, Meir Yossef Levi, Roy Betser, Guy Gilboa arxiv

All classifiers, including state-of-the-art vision models, possess invariants, partially rooted in the geometry of their linear mappings. These invariants, which reside in the null-space of the classifier, induce equivalent sets of inputs that map to identical outputs. The semantic content of these invariants remains vague, as existing approaches struggle to provide human-interpretable information. To address this gap, we present Semantic Interpretation of the Null-space Geometry (SING), a method that constructs equivalent images, with respect to the network, and assigns semantic interpretations to the available variations. We use a mapping from network features to multi-modal vision language models. This allows us to obtain natural language descriptions and visual examples of the induced semantic shifts. SING can be applied to a single image, uncovering local invariants, or to sets of images, allowing a breadth of statistical analysis at the class and model levels. For example, our method reveals that ResNet50 leaks relevant semantic attributes to the null space, whereas DinoViT, a ViT pretrained with self-supervised DINO, is superior in maintaining class semantics across the invariant space.

📄 PDF Abstract BibTeX arXiv:2603.14610

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

On Scaling Data-Driven Loop Invariant Inference

2019-11-26 · Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma 외

Automated synthesis of inductive invariants is an important problem in software verification. Once all the invariants have been specified, software verification reduces to checking of verification conditions. Although st…

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

2022-06-28 · Pedro Orvalho, Mikoláš Janota, Vasco Manquinho

Due to the vast number of students enrolled in programming courses, there has been an increasing number of automated program repair techniques focused on introductory programming assignments (IPAs). Typically, such techn…

ClusteringProgram Repair

Varifold Moment Invariants for Sustainable and Explainable Contour Feature Extraction

2026-06-05 · G. Longari, J. -C. Alvarez Paiva, A. B. Tumpach arxiv

We introduce Varifold Moments Invariants (VMI) as a unifying framework for many previously introduced Moment Invariants. These invariants are deeply related to other contour features that are invariant under translations…

Understanding Learning through the Lens of Dynamical Invariants

2024-01-19 · Alex Ushveridze

This paper proposes a novel perspective on learning, positing it as the pursuit of dynamical invariants -- data combinations that remain constant or exhibit minimal change over time as a system evolves. This concept is u…

Memorization

Adaptive Inferential Method for Monotone Graph Invariants

2017-07-28 · Junwei Lu, Matey Neykov, Han Liu

We consider the problem of undirected graphical model inference. In many applications, instead of perfectly recovering the unknown graph structure, a more realistic goal is to infer some graph invariants (e.g., the maxim…

valid