Generating Symbolic World Models via Test-time Scaling of Large Language Models

Zhouliang Yu, Yuhuan Yuan, Tim Z. Xiao +5

Solving complex planning problems requires Large Language Models (LLMs) to explicitly model the state transition to avoid rule violations, comply with constraints, and ensure optim…