Abstraction Generation for Generalized Planning with Pretrained Large Language Models. - Zhenhe Cui; Huaxiang Xia; Hangjun Shen; Kailun Luo; Yong He; Wei Liang (CoRR, 2026)