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