New domain: Single Rover

BatsResearch / planetarium

Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL

BSD 3-Clause "New" or "Revised" License

42 stars 4 forks source link

Closed maxzuo closed 1 month ago

maxzuo commented 1 month ago

Support for rover-single domain, adapted from the IPC rover domain. Notably, this domain has exactly 1 rover and 1 lander.