lexicons

LEXICON是一个基于自然语言的受约束规划基准，用于评估大型语言模型（LLMs）在规划任务中的能力。它包含一系列环境，这些环境可以用来评估LLMs在受约束的规划任务中的规划能力。LEXICON的核心思想是在现有的规划环境中对状态施加时间约束，然后将这些受约束的问题翻译成自然语言，并交给LLMs来解决。LEXICON的一个关键特性是其可扩展性，即支持的环境集可以扩展为新的（无约束）环境生成器，为其