研究人员开发了NL-PDDL-Bench，这是一个旨在改进大型语言模型（LLM）形式化为规划领域定义语言（PDDL）的新基准，用于自主系统。该基准包括一个使用规划器诊断来修改不可执行规范的框架，以及一个用于微调LLM的基于规划器的优化方法。实验表明，规划器成功率和规划级别的一致性得到了显著提高，从而增强了LLM在安全关键规划应用中的可靠性。 AI
影响 通过改进形式化和验证，提高了LLM在安全关键规划应用中的可靠性。
排序理由 该集群包含一篇学术论文，详细介绍了用于LLM形式化新基准和框架。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
