PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change - Valmeekam, Karthik; Marquez, Matthew; Olmo, Alberto; Sreedharan, Sarath; Kambhampati, Subbarao (Advances in Neural Information Processing Systems, 2023)