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