# 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.

- Catalog URL: https://awesomecua.github.io/resources/arxiv-2509-07553/
- Original source: https://arxiv.org/abs/2509.07553
- Kind: paper
- Review: curated
- Scope: core
- Environments: unspecified
- Topics: human-in-the-loop, safety-security, reinforcement-learning
- Evidence checked: 2026-10-17T11:20:50Z
- ID: arxiv:2509.07553

## 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.

- Record JSON: https://awesomecua.github.io/resources/arxiv-2509-07553/record.json

## Authors

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

## Citation exports

- BibTeX: https://awesomecua.github.io/resources/arxiv-2509-07553/citation.bib
- CSL JSON: https://awesomecua.github.io/resources/arxiv-2509-07553/citation.csl.json

## Recorded arXiv snapshot

- Version: 3
- Version source: https://arxiv.org/abs/2509.07553v3
- First submission: 2025-09-09T09:46:01Z
- Version updated: 2026-04-03T02:36:28Z
- Abstract SHA-256: 3bd6b323a376d7606b8c5ec0615b992f47a388cbd3604191241f6a0a9b2cce6e
- Abstract hash normalization: sha256-utf8-whitespace-collapsed-v1

## License declarations

- code: not recorded
- data: not recorded
- document: not recorded
- weights: not recorded

## Primary evidence

- https://export.arxiv.org/api/query?id_list=2508.20410%2C2508.20890%2C2508.21456%2C2509.00088%2C2509.00531%2C2509.00969%2C2509.01684%2C2509.03536%2C2509.04018%2C2509.04908%2C2509.05368%2C2509.05831%2C2509.06917%2C2509.07098%2C2509.07553%2C2509.08820%2C2509.10345%2C2509.10540%2C2509.11253%2C2509.12543%2C2509.12987%2C2509.13615%2C2509.14547%2C2509.14744%2C2509.15061%2C2509.15237%2C2509.17336%2C2509.19185%2C2509.19199%2C2509.21072%2C2509.21291%2C2509.21766%2C2509.21799%2C2509.22715%2C2509.22830%2C2509.23738%2C2509.24704%2C2509.25455%2C2509.25693%2C2510.00172%2C2510.00515%2C2510.02190%2C2510.04491%2C2510.05096%2C2510.05156%2C2510.05788%2C2510.07284%2C2510.07915%2C2510.08787%2C2510.09517&max_results=50 (retrieved 2026-10-17T07:57:56Z; SHA-256 3429cc2fc7737050cac964c976293fc4793e52c5913636c1f67d04243fbefb6a)
- https://arxiv.org/abs/2509.07553v3 (retrieved 2026-10-17T11:20:50Z; SHA-256 776192081826494b05077d71757f3006575ed50a8cc244004e2de7053104d7eb)