中文

AutoWebWorld:通过有限状态机合成可验证的无限Web环境

人工智能 2026-02-17 v1 软件工程

摘要

自主Web GUI代理的性能高度依赖其训练数据的质量和数量。然而,一个根本性瓶颈仍然存在:从真实网站收集交互轨迹昂贵且难以验证。由于状态转换是隐式的,依赖于不一致且成本高昂的外部验证器来评估步骤级别的正确性。为此,我们提出AutoWebWorld,一个用于合成可控制且可验证的Web环境的新框架,通过将其建模为有限状态机 (FSM) 并使用编码代理将FSM转化为交互式网站。不同于真实网站,状态转换在AutoWebWorld中是显式定义的:所有状态、动作和转换规则均被明确指定。这使得可编程验证成为可能:动作正确性根据预定义规则检查,任务成功通过到达FSM图中的目标状态来确认。AutoWebWorld实现完全自动的搜索-验证管道,从29个多样化的Web环境中生成超过11,663个经过验证的轨迹,仅需每条轨迹0.04美元。训练在此合成数据上显著提升了真实世界的性能。我们的7B Web GUI代理在WebVoyager上超越所有基线,仅需15步即可实现。此外,我们观察到一种清晰的比例定律:随着合成数据量的增加,对WebVoyager和Online-Mind2Web的性能持续改善。

关键词

引用

@article{arxiv.2602.14296,
  title  = {AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines},
  author = {Yifan Wu and Yiran Peng and Yiyu Chen and Jianhao Ruan and Zijie Zhuang and Cheng Yang and Jiayi Zhang and Man Chen and Yenchi Tseng and Zhaoyang Yu and Liang Chen and Yuyao Zhai and Bang Liu and Chenglin Wu and Yuyu Luo},
  journal= {arXiv preprint arXiv:2602.14296},
  year   = {2026}
}