Generating Symbolic World Models via Test-time Scaling of Large Language Models. - Zhouliang Yu; Yuhuan Yuan; Tim Z. Xiao; Fuxiang Frank Xia; Jie Fu 001; Ge Zhang 009; Ge Lin; Weiyang Liu (Trans. Mach. Learn. Res., 2025)