Submitted by Evan 41 AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines Hong Kong University of Science and Technology(GuangZhou) 2