ResearchResearch paper

A GUI agent's success report can leak into completion judgment

Submitted October 21 and accepted to the ICSE 2027 research track, this paper finds that exposing a completion judge to the agent's own success report reduces detection of dangerous misreports. It rebuilds the boundary with report isolation, structured trace evidence and deterministic rules.

Why it matters

A generative interface's “completed” label cannot serve as both the claim under review and evidence for that claim. Self-report should be separated from independently recorded execution traces so confident language cannot silently turn failure into a pass.

A closer look

With the task and trace held constant, withholding the agent report improves trace-side dangerous-misreport recall by 43.4 percentage points for Qwen3.5-35B-A3B and 13.3 points for DeepSeek-284B-A13B. The structured auditor reaches F1 0.75–0.78 on 465 audit-target records and 0.77–0.81 on the 130-record held-out Batch 2. When both FLAG and REVIEW block automatic pass, it blocks 74%–90% of dangerous misreports at 45%–56% inspection load within the audit-target set.

Who this is for

Teams evaluating GUI agents, automated testing, generative-UI completion and high-stakes workflows

Original sources

Revisions & corrections (1)

— The original abstract and full PDF provide a direct GUI-agent completion-judging result with held-out evaluation, deployment trade-offs and explicit limitations.

Related events

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.

Research

TAM turns verified task advancement into online state and reusable operations for GUI agents

Submitted October 27, Task Advancement Memory (TAM) uses what has been reliably accomplished at two timescales: it maintains verified progress, remaining goals and visual evidence during a task, then extracts reusable operations from locally successful segments after the task, including segments inside an overall failed workflow.