Skip to content

One Perturbation Is Not Enough: Identifiability and Blind Baselines for Behavioral AI Evaluation

Sep 2026 · 0 citations · 33 references
Computer Science

TL;DR

It is shown that the number of perturbations such a certificate requires is fixed, and that reporting a single perturbation cannot supply it.

Abstract

Behavioral evaluations perturb an input and read the induced change in the output in order to certify that a system uses that input. We show that the number of perturbations such a certificate requires is fixed, and that reporting a single perturbation cannot supply it. Where a response ratio is a property of the policy rather than of the test items, the behavioral record is a linear measurement of an exponent vector recording how much the output depends on each input, so perturbations identify input use exactly when their logarithms span the input space. At least $n$ are needed for $n$ inputs, an incomplete design confuses precisely the policies differing along the kernel of its design matrix, and sharpening a perturbation never substitutes for adding an independent one. We also derive in closed form the score such a test awards a policy that reads nothing, which is far from zero and which none of the probes we survey reports. Instantiating this where the correct response is fixed by dimensional analysis, we run a complete identifying set of three perturbations on three vision--language models reporting a physical quantity from video. All three score far below their own blind bound rather than above it, because each defaults to one of a small set of round calibration values that never matches what the scale asserts; none moves its relabeling response by a single exponent, and none is separable from the same model instructed to ignore the video.

View source

Similar papers

#machine learning Preprint Sep 2026

Where the Verifier Fails: A Category-Level Audit of Reward Signals in RLVR

This work applies metamorphic testing to the verifier rather than the model, generating certified equivalent answer variants, that is, rewrites that preserve mathematical meaning by construction, so that any rejection is a provable false negative needing no human adjudication.

Esther Xin · 2 citations
#artificial intelligence Preprint Oct 2026

Does the Model Use the Feature? Separating Steering from Mechanism in LLMs

Internal features in LLMs are often interpreted as mechanisms when they track a concept and their manipulation changes a related behavior. Yet steering can push a feature far outside its natural range, where its effects need not reflect the model's own computation. We examine this inference and propose an empirical con...

Che-Ah-Yi Tong, Yi-Long Li · 0 citations
#machine learning Preprint Sep 2026

When a Flatness Proxy Is Not a Function: Robustness Certificates and Training Interventions

A valid curvature upper bound need not justify either a robustness certificate or an intervention on an intrinsic predictor property. We demonstrate this distinction for a last-layer relative-flatness proxy used in both settings. First, empirical-risk stationarity does not eliminate pointwise first-order loss terms: at...

Vicente Opazo, Jose Calatayud-Mateu, Cristóbal Rojas et al. · 0 citations
Open access Oct 2026

Parameter Identification

A parameter is identified when it is uniquely determined by the distribution of observable data given the model's assumptions. Identification is logically prior to estimation and asks a different question: not what the best guess from this sample is, but whether the entire population would pin the parameter down at all...

W. Craytor · 0 citations
#artificial intelligence Preprint Oct 2026

What Does an Observability Foundation Model Know?

A linear probe can show that a label is recoverable from a model's hidden states, but not whether that goes beyond what the input already reveals, or whether the model uses it. We audit Toto, an observability forecasting foundation model, on the Benchmark of Observability Metrics (BOOM) across five series-disjoint resp...

Dhyey Dharmendrakumar Mavani, Rian Atri, Tai-Ran Ji · 0 citations

Related blog posts

MIT News · Artificial Intelligence Oct 15, 2026

AI model decodes the language cells use to communicate

A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.

Microsoft Research Blog Oct 15, 2026

Proof-based general-purpose computing with Magnetar

Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.