{
  "id": "arxiv:2509.07553",
  "citation-key": "arxiv_2509_07553",
  "type": "article",
  "title": "VeriOS: Query-Driven Proactive Human-Agent-GUI Interaction for Trustworthy OS Agents",
  "URL": "https://arxiv.org/abs/2509.07553v3",
  "custom": {
    "catalog_id": "arxiv:2509.07553",
    "catalog_kind": "paper",
    "catalog_review_status": "curated",
    "canonical_source_url": "https://arxiv.org/abs/2509.07553",
    "identifiers": {
      "arxiv": "2509.07553"
    },
    "first_published_at": "2025-09-09",
    "record_updated_at": "2026-04-03",
    "catalog_scope": "core",
    "arxiv_snapshot": {
      "abstract_hash_method": "sha256-utf8-whitespace-collapsed-v1",
      "abstract_sha256": "3bd6b323a376d7606b8c5ec0615b992f47a388cbd3604191241f6a0a9b2cce6e",
      "submitted_at": "2025-09-09T09:46:01Z",
      "updated_at": "2026-04-03T02:36:28Z",
      "version": 3,
      "versioned_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.",
  "author": [
    {
      "literal": "Zheng Wu"
    },
    {
      "literal": "Heyuan Huang"
    },
    {
      "literal": "Xingyu Lou"
    },
    {
      "literal": "Xiangmou Qu"
    },
    {
      "literal": "Pengzhou Cheng"
    },
    {
      "literal": "Zongru Wu"
    },
    {
      "literal": "Weiwen Liu"
    },
    {
      "literal": "Weinan Zhang"
    },
    {
      "literal": "Jun Wang"
    },
    {
      "literal": "Zhaoxiang Wang"
    },
    {
      "literal": "Zhuosheng Zhang"
    }
  ],
  "issued": {
    "date-parts": [
      [
        2025,
        9,
        9
      ]
    ]
  },
  "archive": "arXiv",
  "archive_location": "2509.07553",
  "genre": "preprint",
  "version": "3"
}