ScriptDoctor: Automatic Generation of PuzzleScript Games via Large Language Models and Tree Search | IEEE Conference Publication | IEEE Xplore