Official Implementation of Generating Symbolic World Models via Test-time Scaling of Large Language Models(coming soon）