AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines
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.
6997c36c7a658569d5a1012a
Yifan Wu
claimed_verified
2026-02-20T08:36:32.604Z
65685ef7d0a121b8e81afe2a
/avatars/bdf540632ff7e27564353ba4d799f9c9.svg
Evan
Evanwu50020
user
Evanwu50020
6997c36c7a658569d5a1012b
Yiran Peng
6997c36c7a658569d5a1012c
Yiyu Chen
6997c36c7a658569d5a1012d
Jianhao Ruan
claimed_verified
2026-02-20T08:36:35.201Z
68a435cc22fdf7356962ccb9
/avatars/467f4732ade5f47b42433ff354acdeef.svg
jianhao ruan
Aurorra1123
user
Aurorra1123
6997c36c7a658569d5a1012e
Zijie Zhuang
6997c36c7a658569d5a1012f
Cheng Yang
claimed_verified
2026-02-20T08:36:29.680Z
67c443afb753bd020f9c97d8
https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/xbACBNLSopWmN5G1K8h_Y.png
Cheng
YangC777
user
YangC777
6997c36c7a658569d5a10130
Jiayi Zhang
6997c36c7a658569d5a10131
Man Chen
6997c36c7a658569d5a10132
Yenchi Tseng
6997c36c7a658569d5a10133
Zhaoyang Yu
6997c36c7a658569d5a10134
Liang Chen
6997c36c7a658569d5a10135
Yuyao Zhai
6997c36c7a658569d5a10136
Bang Liu
6997c36c7a658569d5a10137
Chenglin Wu
6997c36c7a658569d5a10138
Yuyu Luo
AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines
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.
AutoWebWorld synthesizes verifiable web environments using finite state machines and coding agents, enabling efficient training of autonomous Web GUI agents through automated trajectory generation and verification.
Finite State Machines coding agents web environments automated search-and-verify pipeline synthetic data trajectory generation verifiable environments autonomous Web GUI agents