AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Wu, Yifan, Peng, Yiran, Chen, Yiyu, Ruan, Jianhao, Zhuang, Zijie, Yang, Cheng, Zhang, Jiayi, Chen, Man, Tseng, Yenchi, Yu, Zhaoyang, Chen, Liang, Zhai, Yuyao, Liu, Bang, Wu, Chenglin, Luo, Yuyu
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866915799735730176
author Wu, Yifan
Peng, Yiran
Chen, Yiyu
Ruan, Jianhao
Zhuang, Zijie
Yang, Cheng
Zhang, Jiayi
Chen, Man
Tseng, Yenchi
Yu, Zhaoyang
Chen, Liang
Zhai, Yuyao
Liu, Bang
Wu, Chenglin
Luo, Yuyu
author_facet Wu, Yifan
Peng, Yiran
Chen, Yiyu
Ruan, Jianhao
Zhuang, Zijie
Yang, Cheng
Zhang, Jiayi
Chen, Man
Tseng, Yenchi
Yu, Zhaoyang
Chen, Liang
Zhai, Yuyao
Liu, Bang
Wu, Chenglin
Luo, Yuyu
contents The performance of autonomous Web GUI agents heavily relies on the quality and quantity of their training data. However, a fundamental bottleneck persists: collecting interaction trajectories from real-world websites is expensive and difficult to verify. The underlying state transitions are hidden, leading to reliance on inconsistent and costly external verifiers to evaluate step-level correctness. To address this, we propose AutoWebWorld, a novel framework for synthesizing controllable and verifiable web environments by modeling them as Finite State Machines (FSMs) and use coding agents to translate FSMs into interactive websites. Unlike real websites, where state transitions are implicit, AutoWebWorld explicitly defines all states, actions, and transition rules. This enables programmatic verification: action correctness is checked against predefined rules, and task success is confirmed by reaching a goal state in the FSM graph. AutoWebWorld enables a fully automated search-and-verify pipeline, generating over 11,663 verified trajectories from 29 diverse web environments at only $0.04 per trajectory. Training on this synthetic data significantly boosts real-world performance. Our 7B Web GUI agent outperforms all baselines within 15 steps on WebVoyager. Furthermore, we observe a clear scaling law: as the synthetic data volume increases, performance on WebVoyager and Online-Mind2Web consistently improves.
format Preprint
id arxiv_https___arxiv_org_abs_2602_14296
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines
Wu, Yifan
Peng, Yiran
Chen, Yiyu
Ruan, Jianhao
Zhuang, Zijie
Yang, Cheng
Zhang, Jiayi
Chen, Man
Tseng, Yenchi
Yu, Zhaoyang
Chen, Liang
Zhai, Yuyao
Liu, Bang
Wu, Chenglin
Luo, Yuyu
Artificial Intelligence
Software Engineering
The performance of autonomous Web GUI agents heavily relies on the quality and quantity of their training data. However, a fundamental bottleneck persists: collecting interaction trajectories from real-world websites is expensive and difficult to verify. The underlying state transitions are hidden, leading to reliance on inconsistent and costly external verifiers to evaluate step-level correctness. To address this, we propose AutoWebWorld, a novel framework for synthesizing controllable and verifiable web environments by modeling them as Finite State Machines (FSMs) and use coding agents to translate FSMs into interactive websites. Unlike real websites, where state transitions are implicit, AutoWebWorld explicitly defines all states, actions, and transition rules. This enables programmatic verification: action correctness is checked against predefined rules, and task success is confirmed by reaching a goal state in the FSM graph. AutoWebWorld enables a fully automated search-and-verify pipeline, generating over 11,663 verified trajectories from 29 diverse web environments at only $0.04 per trajectory. Training on this synthetic data significantly boosts real-world performance. Our 7B Web GUI agent outperforms all baselines within 15 steps on WebVoyager. Furthermore, we observe a clear scaling law: as the synthetic data volume increases, performance on WebVoyager and Online-Mind2Web consistently improves.
title AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines
topic Artificial Intelligence
Software Engineering
url https://arxiv.org/abs/2602.14296