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