AutoWebWorld: Synthesizing Infinite Verifiable Web Environments via Finite State Machines | Yifan Wu et al. | ResearchPod