판 이력 — PlanningBench: Generating Scalable and Verifiable Planning Data for Evaluating and Training Large Language Models | AIChainDay