Research papers

VeriOS: Query-Driven Proactive Human-Agent-GUI Interaction for Trustworthy OS Agents

Introduces VeriOS-Agent, which learns when to execute GUI actions autonomously and when to query a user under untrustworthy conditions. Its staged training combines supervised learning and group-relative policy optimization.

AI-assisted editorial review against a primary source. This is a catalog annotation, not an independent reproduction or endorsement.

Original source ↗Read as MarkdownRecord JSON

What is this resource?

Resource type
Research papers
Environment
unspecified
Topics
human-in-the-loop, safety-security, reinforcement-learning
Record publication date
2025-09-09
Evidence retrieved
2026-10-17T11:20:50Z
Resource ID
arxiv:2509.07553

Recorded paper version

arXiv v3

Version updated: 2026-04-03T02:36:28Z.

This identifies the retained arXiv metadata snapshot; newly observed changes require separate review.

Abstract fingerprint3bd6b323a376d7606b8c5ec0615b992f47a388cbd3604191241f6a0a9b2cce6e

Authors

Zheng Wu, Heyuan Huang, Xingyu Lou, Xiangmou Qu, Pengzhou Cheng, Zongru Wu, Weiwen Liu, Weinan Zhang, Jun Wang, Zhaoxiang Wang, Zhuosheng Zhang

Cite this paper

Download BibTeX · Download CSL JSON

Citations preserve the selected source edition, its authors and recorded date precision. Unrecorded venues and identifiers are omitted.

Explore related topics

Human in the loopSafety & securityReinforcement learning

Scope and limitations

Reviewed against the exact-version official arXiv abstract page; its complete title, ordered author list, visible version, and normalized abstract SHA match the retained snapshot. The original API response body was not locally available. Experimental results and artifact availability have not been independently reproduced.

Connected assets

These links come from reviewed resource records. A documentation link does not imply a training-data or evaluation dependency.

Primary evidence and verification

Source retrieval is separate from experiment reproduction. Use the original publication or publisher page when citing claims about the resource.

  1. arxiv api

    Retrieved 2026-10-17T07:57:56Z. Supports: name, authors, published_at, updated_at, identifiers.arxiv, details.arxiv_snapshot.

    Content fingerprint3429cc2fc7737050cac964c976293fc4793e52c5913636c1f67d04243fbefb6a
  2. editorial primary review

    Retrieved 2026-10-17T11:20:50Z. Supports: name, kind, summary, environments, topics, scope, notes.

    Content fingerprint776192081826494b05077d71757f3006575ed50a8cc244004e2de7053104d7eb

Suggest a correction

Open a source-backed correction. Include this record ID and the original source. Read our editorial policy and coverage boundaries.