% AwesomeCUA: {"catalog_id": "arxiv:2509.07553", "catalog_review_status": "curated", "catalog_scope": "core", "identifiers": {"arxiv": "2509.07553"}}
@misc{arxiv_2509_07553,
  title = {{VeriOS: Query-Driven Proactive Human-Agent-GUI Interaction for Trustworthy OS Agents}},
  author = {{Zheng Wu} and {Heyuan Huang} and {Xingyu Lou} and {Xiangmou Qu} and {Pengzhou Cheng} and {Zongru Wu} and {Weiwen Liu} and {Weinan Zhang} and {Jun Wang} and {Zhaoxiang Wang} and {Zhuosheng Zhang}},
  year = {2025},
  eprint = {2509.07553v3},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2509.07553v3},
  note = {First published: 2025-09-09; Recorded arXiv version: v3; Recorded version updated: 2026-04-03T02:36:28Z.}
}