Francisco Piedrahita Velez

Planetarium: A Rigorous Benchmark for Translating Text to Structured Planning Languages

Recent works have explored using language models for planning problems. One approach examines translating natural language descriptions of planning tasks into structured planning languages, such as the planning domain definition language (PDDL). Existing evaluation methods struggle to ensure semanti…