ResearchResearch paper

InterA11y gives LLM agents interactive tools for web accessibility evidence

Submitted October 29, InterA11y combines rules, criterion-specific rubrics and browser interaction tools to evaluate accessibility-error detection across ten commonly violated WCAG criteria, 682 curated conformance cases and 197 expert-labeled cases derived from 54 real webpages.

Why it matters

Generative interfaces change components, states and interaction paths. Static DOM rules cannot observe every outcome, while visual or general-purpose agents can miss violations and raise false alarms. Controlled interaction paired with deterministic checks moves accessibility from a pre-release checklist toward runtime evidence gathering.

A closer look

On the expert-labeled set, the paper reports 79.0% recall versus 44.4% for the strongest LLM checker, with 93.1% precision close to rule checkers at about 95.7%. Adding its tools to general agents raises AgentLab recall from 22.2% to 44.9% and lowers FDR from 22.7% to 11.7%; Browser Use moves from 36.0% to 42.3% recall and 24.4% to 16.6% FDR. The official repository includes datasets, case-level predictions, runtime, adapters and commands that recompute statistics without model calls.

Who this is for

Generative-UI, design-system, web-platform, QA and accessibility engineering teams

Original sources

Revisions & corrections (1)

— Publish a primary-source accessibility study with a public replication package because it adds interactive evidence gathering, quantified counterevidence, cost limits and a reproducible saved-result path relevant to generated interfaces.

Related events

Research

EnvOS audits computer-use agents when the world has changed

Submitted October 29, EnvOS archives interfaces, tools, state mutations, observation delivery and scoring evidence to test whether agents recheck facts after appointments, policies or other world state has changed instead of relying on stale memory or prompts.

Research

A second, independent VeriCUA turns GUI-task acceptance into active evidence gathering with abstention

A Google and University of Hong Kong team submitted a separate project also named VeriCUA on October 29. It inspects an environment or recording before constructing a task rubric, then gathers missing evidence through GUI, accessibility-tree, file and database reads, marking requirements met, unmet or unknown. In online experiments it reduces false positives against baselines on AndroidWorld, OSWorld and ScienceBoard.

Research

GUI‑JEPA replaces token-by-token action decoding with candidate-conditioned latent scoring

Submitted October 27, GUI‑JEPA targets single-step mobile GUI action selection. It transforms JEPA representations pretrained on unlabeled interface screenshots for each action and region candidate, then scores accessibility-tree candidates in one batch instead of asking a 7B vision-language model to decode an action token by token.