arXiv paper· machine learning — neural network robustness verification· method paper with large-scale empirical evaluation

Validating, Not Sampling: Region-Level Robustness of Vision-Language and Vision-Language-Action Models

Bogdan Aron, Christopher Brix, Benedikt Brückner, Yanghao Zhang, Panagiotis Kouvaros, Alessio Lomuscio

cs.CV · cs.AI

Quick verdict

First continuous-region robustness validation of VLMs/VLAs via H²V-M; sound and timely, but verdicts hinge on Hölder estimates and tiny 40-50 instance sets.

Summary

The paper presents the first robustness validation—rather than sampling-based benchmarking—of six vision-language models (Qwen2.5/Qwen3-VL, LLaVA-v1.6, InternVL3.5, Gemma3; 7B–32B) and five vision-language-action models (OpenVLA, OpenVLA-OFT, GR00T N1.7, π0, π0.5) over entire continuous regions of brightness, rotation, and combined perturbations. Extending H²V, which maps the perturbation region onto a Hilbert curve and searches via Hölder optimisation, the authors introduce H²V-M, a margin-aware convergence rule that adapts the threshold to the accumulated lower bound, making validation affordable at 32B scale (57.4M queries in total). On 50 MMBench instances and 40 LIBERO observations, VLAs are brightness-robust (all instances tolerate ±2%, the median ±30%) but rotation-fragile: about 27% of instances change action within ±1° and 51% within ±2°, radii plausible from camera remounting. VLMs tolerate far larger rotations; robustness tracks perturbation type and model family more than parameter count. H²V-M reaches a verdict with a median factor 8.2 fewer queries than fixed-threshold H²V (which stays undecided on 32 of 100 subsampled instances) and finds counterexamples faster than uniform random sampling. Limitations: robust verdicts are conditional on Hölder constant estimates, instance sets are small (40–50), evaluation is open-loop single-step, and the 9% of undecided instances consumed 83% of the 35.1M VLA queries.

Review complete

Assessment at a glance

machine learning — neural network robustness verification

5

risk flags identified

● high 0

● medium 3

● low 2

Reproducibility readinessmedium
Code & data availablenot stated
Review confidencemedium
AI text signal0/20 passages flagged
Deep research viableCode-reproducibleNeeds GPU

5 strengths · 5 weaknesses · 5 author questions

AI text signal = Binoculars zero-shot detector score over 20 sampled passages (Fast-DetectGPT co-reported) — absence does not prove human authorship, and a flag does not imply misconduct.

Levels reflect verification complexity — not a quality score. Evolve never rates your paper.

Key claims under review

  • H²V-M, a margin-aware convergence rule on top of H²V, enables sound region-level robustness validation of models up to 32B parameters, deciding verdicts with a median factor 8.2 (15.3× total) fewer queries than fixed-threshold H²V on the 100-instance comparison subset.
  • Sampled evaluation mislabels robustness at every affordable budget: k-draw protocols wrongly call instances robust in 50% (k=1), 42% (k=10) and 6% (k=100) of reported-robust cases, and 17,000 draws still miss the counterexample on 34 of 2,835 instances.
  • For VLAs, robustness is governed by perturbation type: all 40 LIBERO instances per model are brightness-robust up to ±2% (median tolerating ±30%), whereas roughly 27% of instances fail within ±1° camera rotation and 51% within ±2°, radii arising from ordinary remounting.
  • Robustness depends more on model family and perturbation type than on parameter count, and VLMs tolerate far larger rotations than VLAs (e.g., 68% of LLaVA instances robust at ±90° rotation vs 5% VLA robustness at ±10°).

Strengths

  • Soundness-first evaluation design

    Unlike sampled benchmarks, every H²V-M query tightens a Hölder lower bound covering the entire region; counterexamples are concrete witnesses, and the appendix argues the adaptive threshold 'governs the search schedule and not the verdict', so adaptivity itself cannot fabricate certificates (§H²V-M; Appendix 'Soundness of H²V-M').

  • Order-of-magnitude efficiency gain shown head-to-head

    On 100 subsampled VLA instances certified within 10,000 queries, H²V-M was cheaper on every instance (median factor 8.2; 15.3× fewer total queries), while fixed-threshold H²V (ε=10⁻⁵, 50k budget) reached no verdict on 32; adversarial outcomes cost a median of only 14 queries.

  • First ground-truth quantification of sampling error

  • Physically actionable, dual-sided bounds

  • Honest cost and confound reporting

Weaknesses

  • Conditional soundness with thin empirical support in the text

  • Small evaluation sets without uncertainty quantification

  • Open-loop, single-step scope limits deployment relevance

  • Weak attack baseline for the efficiency claim

  • Design choices with unexamined sensitivity

Full Review Report

$1.99 · one-time

Unlock the complete preliminary analysis Evolve produced for this paper.

Report preview

Scope & Claims

The paper claims the first validation — as opposed to sampling-based benchmarking — of local robustness for six VLMs (Qwen2.5-VL-7B/32B, Qwen3-VL-8B, LLaVA-v1.6-Mistral-7B, InternVL3.5-8B, Gemma3-27B-it) and five VLAs (OpenVLA, OpenVLA-OFT, GR00T N1.7, π0, π0.5) over entire continuous regions of brightness, rotation, and their composition. The methodological claim is that H²V-M, a margin-aware convergence rule on top of H²V's Hilbert-curve/Hölder-optimisation search, makes such validation affordable at 32B scale. The empirical claims are that (i) sampled protocols mislabel robustness at every affordable budget (50%/42%/6% of reported-robust cases are wrong at k=1/10/100); (ii) VLAs are brightness-robust but rotation-fragile (all 40 LIBERO instances per model robust to ±2% brightness, median to ±30%; ~27% of instances failing within ±1° and 51% within ±2° rotation per the Conclusion); (iii) VLMs tolerate far larger rotations; and (iv) robustness tracks perturbation type and model family more than parameter count. Scope is deliberately open-loop, single-step, image-only perturbation, and the authors state this restriction plainly.

The remaining sections cover Methodology Assessment, Statistical Evidence, Results & Reproducibility, Limitations & Risks, and Verdict & Recommendations.

  • All 5 strengths & 5 weaknesses, analyzed in detail
  • 5 risk flags with severity, section & reviewer questions
  • Methods & statistical evidence assessment
  • 5 questions a peer reviewer would ask
  • Full six-dimension evaluation report & recommendations

One-time purchase · this paper only

One-time purchase, this paper only. AI-generated preliminary analysis — not peer review.

Frequently asked questions

What is the difference between robustness validation and robustness benchmarking by sampling?

Sampling-based benchmarks apply a finite set of perturbations and can only exhibit failures; if nothing is found, the untested region remains unknown. Validation, as done here with H²V/H²V-M (a Hilbert-curve parameterisation searched by Hölder optimisation), reasons over the entire continuous perturbation region, so a positive outcome certifies that no brightness or rotation within the bounded region flips the model output — conditional on the estimated Hölder constants being valid upper bounds.

How fragile are VLA robot models to camera rotation according to this paper?

Across five VLAs (OpenVLA, OpenVLA-OFT, GR00T N1.7, π0, π0.5) on 40 LIBERO observations each, 96% of instances stay robust at ±0.125° camera rotation, but roughly 27% fail by ±1° and 51% by ±2°, with every instance adversarial by ±20°. Brightness is far safer: all instances are robust up to a ±2% intensity shift and the median frame tolerates ±30%.

What is H²V-M and how much faster is it than the original H²V?

H²V-M replaces H²V's fixed convergence threshold with a margin-aware rule that adapts the threshold from the current global lower bound and Hölder estimate, so expensive model queries stop once the accumulated evidence suffices. On 100 subsampled VLA instances, H²V-M was cheaper on every instance (median factor 8.2, 15.3× fewer total queries), while fixed-threshold H²V (ε=10⁻⁵) reached no verdict on 32 of them within a 50,000-query budget.

Does a 'robust' verdict mean the robot succeeds at its task?

No. The paper validates open-loop, single-step action stability: under perturbation, the commanded 7-DoF action must stay within translation and rotation tolerances of the clean action (derived from the 90th percentile of demonstration steps) and keep the gripper direction. Closed-loop task success over full rollouts is explicitly left to future work.

About this review

This is an AI-generated preliminary review by Evolve.Pub, produced from the openly available text of the paper. It is not peer review and does not represent the authors' views. The canonical record of the paper is at the publisher link above.

  • Figures 1–4 are caption-only in the extraction; the headline robustness curves and the H²V-vs-H²V-M cost distributions could not be visually verified.
  • The SoundnessBench empirical soundness evaluation is announced but its results do not appear in the extracted text (likely a truncated appendix section).
  • VLM-side total query consumption is not stated (only the 57.4M grand total and the 35.1M VLA figure), so cost claims per family cannot be cross-checked.
  • Appendix subsections (e.g., full prompt examples, hyperparameter discussion) appear partially truncated.

Go deeper on this paper

Wrote a paper? Stress-test it before reviewers do.

Upload your manuscript for the same structured scrutiny — reasoning, statistics, evidence, figures, and reproducibility.

Scan your paper
Validating, Not Sampling: Region-Level Robustness of Vision-Language and Vision-Language-Action Models | Evolve.Pub