Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL - View it on GitHub