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

Open Webpage

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

Published: 2025, Last Modified: 14 Jan 2026CoRR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0