Abstraction Generation for Generalized Planning with Pretrained Large Language Models | ScienceToStartup | ScienceToStartup