ImageNet classification with deep convolutional neural networks
Alex Krizhevsky, Ilya Sutskever et al.
9
Citations
0
Influential Citations
arXiv.org
Venue
2026
Year
Verifying the success of computer use agent (CUA) trajectories is a critical challenge: without reliable verification, neither evaluation nor training signal can be trusted. In this paper, we present lessons learned from building a best-in-class verifier for web tasks we call the Universal Verifier. We design the Universal Verifier around four key principles: 1) constructing rubrics with meaningful, non-overlapping criteria to reduce noise; 2) separating process and outcome rewards that yield complementary signals, capturing cases where an agent follows the right steps but gets blocked or succeeds through an unexpected path; 3) distinguishing between controllable and uncontrollable failures scored via a cascading-error-free strategy for finer-grained failure understanding; and 4) a divide-and-conquer context management scheme that attends to all screenshots in a trajectory, improving reliability on longer task horizons. We validate these findings on CUAVerifierBench, a new set of CUA trajectories with both process and outcome human labels, showing that our Universal Verifier agrees with humans as often as humans agree with each other. We report a reduction in false positive rates to near zero compared to baselines like WebVoyager ($\geq$ 45\%) and WebJudge ($\geq$ 22\%). We emphasize that these gains stem from the cumulative effect of the design choices above. We also find that an auto-research agent achieves 70\% of expert quality in 5\% of the time, but fails to discover all strategies required to replicate the Universal Verifier. We open-source our Universal Verifier system along with CUAVerifierBench; available at https://github.com/microsoft/fara.
Verifying the success of computer use agent (CUA) trajectories is a fundamental challenge in AI. Without reliable verification, both evaluation and training signals are untrustworthy, hindering progress in building capable agents. The Universal Verifier addresses this by providing a systematic approach to verification that achieves human-level agreement and near-zero false positives, a significant improvement over existing baselines.
This paper is particularly important because it not only presents a new verifier but also distills design principles that can guide future work. The emphasis on separating process and outcome rewards, and distinguishing controllable from uncontrollable failures, provides a nuanced framework for understanding agent behavior. The open-sourcing of the system and benchmark further accelerates research in this area.
The Universal Verifier agrees with humans as often as humans agree with each other, indicating a high level of reliability. It reduces false positive rates to near zero compared to WebVoyager (≥45% reduction) and WebJudge (≥22% reduction). These gains are attributed to the cumulative effect of the design choices, not any single component.
Additionally, an auto-research agent achieves 70% of expert quality in 5% of the time, but fails to discover all strategies required to replicate the Universal Verifier. This suggests that while automated approaches can be efficient, expert-designed principles still provide significant value.
The Universal Verifier has broad implications for the AI field. Reliable verification is essential for evaluating and training agents, and this work provides a robust solution that can be adopted by the community. The open-sourced system and benchmark will enable further research and development, potentially leading to more capable and trustworthy computer use agents.
The design principles introduced here—such as separating process and outcome rewards and using cascading-error-free scoring—could be applied to other domains beyond web tasks, such as robotics or software engineering. This paper sets a new standard for agent verification and highlights the importance of careful design in building reliable AI systems.
Alex Krizhevsky, Ilya Sutskever et al.
Ashish Vaswani, Noam Shazeer et al.
Douglas M. Bates, Martin Mächler et al.
Diederik P. Kingma, Jimmy Ba