OpenComputer: Verifiable Software Worlds for Computer-Use Agents

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Wei, Jinbiao, Ma, Qianran, Zhao, Yilun, Zhou, Xiao, Ni, Kangqi, Gan, Guo, Cohan, Arman
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913146312065024
author Wei, Jinbiao
Ma, Qianran
Zhao, Yilun
Zhou, Xiao
Ni, Kangqi
Gan, Guo
Cohan, Arman
author_facet Wei, Jinbiao
Ma, Qianran
Zhao, Yilun
Zhou, Xiao
Ni, Kangqi
Gan, Guo
Cohan, Arman
contents We present OpenComputer, a verifier-grounded framework for constructing verifiable software worlds for computer-use agents. OpenComputer integrates four components: (1) app-specific state verifiers that expose structured inspection endpoints over real applications, (2) a self-evolving verification layer that improves verifier reliability using execution-grounded feedback, (3) a task-generation pipeline that synthesizes realistic and machine-checkable desktop tasks, and (4) an evaluation harness that records full trajectories and computes auditable partial-credit rewards. In its current form, OpenComputer covers 33 desktop applications and 1,000 finalized tasks spanning browsers, office tools, creative software, development environments, file managers, and communication applications. Experiments show that OpenComputer's hard-coded verifiers align more closely with human adjudication than LLM-as-judge evaluation, especially when success depends on fine-grained application state. Frontier agents struggle with end-to-end completion despite partial progress, and open-source models exhibit sharp drops from their OSWorld-Verified scores, exposing a persistent gap in robust computer automation.
format Preprint
id arxiv_https___arxiv_org_abs_2605_19769
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle OpenComputer: Verifiable Software Worlds for Computer-Use Agents
Wei, Jinbiao
Ma, Qianran
Zhao, Yilun
Zhou, Xiao
Ni, Kangqi
Gan, Guo
Cohan, Arman
Artificial Intelligence
Software Engineering
We present OpenComputer, a verifier-grounded framework for constructing verifiable software worlds for computer-use agents. OpenComputer integrates four components: (1) app-specific state verifiers that expose structured inspection endpoints over real applications, (2) a self-evolving verification layer that improves verifier reliability using execution-grounded feedback, (3) a task-generation pipeline that synthesizes realistic and machine-checkable desktop tasks, and (4) an evaluation harness that records full trajectories and computes auditable partial-credit rewards. In its current form, OpenComputer covers 33 desktop applications and 1,000 finalized tasks spanning browsers, office tools, creative software, development environments, file managers, and communication applications. Experiments show that OpenComputer's hard-coded verifiers align more closely with human adjudication than LLM-as-judge evaluation, especially when success depends on fine-grained application state. Frontier agents struggle with end-to-end completion despite partial progress, and open-source models exhibit sharp drops from their OSWorld-Verified scores, exposing a persistent gap in robust computer automation.
title OpenComputer: Verifiable Software Worlds for Computer-Use Agents
topic Artificial Intelligence
Software Engineering
url https://arxiv.org/abs/2605.19769