Pith. sign in

REVIEW 5 cited by

Automating the Generation of Prompts for LLM-based Action Choice in PDDL Planning

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2311.09830 v4 pith:VJROAHXA submitted 2023-11-16 cs.AI cs.CL

classification cs.AIcs.CL
keywords promptspddlplanningperformanceautomaticallydomainsgeneratedlanguage
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Large language models (LLMs) have revolutionized a large variety of NLP tasks. An active debate is to what extent they can do reasoning and planning. Prior work has assessed the latter in the specific context of PDDL planning, based on manually converting three PDDL domains into natural language (NL) prompts. Here we automate this conversion step, showing how to leverage an LLM to automatically generate NL prompts from PDDL input. Our automatically generated NL prompts result in similar LLM-planning performance as the previous manually generated ones. Beyond this, the automation enables us to run much larger experiments, providing for the first time a broad evaluation of LLM planning performance in PDDL. Our NL prompts yield better performance than PDDL prompts and simple template-based NL prompts. Compared to symbolic planners, LLM planning lags far behind; but in some domains, our best LLM configuration scales up further than A$^\star$ using LM-cut.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Doc2Agent: Scalable Generation of Tool-Using Agents from API Documentation

    cs.CL 2025-06 reject novelty 6.0 of 10

    Doc2Agent automatically converts unstructured REST API documentation into validated, Python-based tools for AI agents, reporting a 55% relative WebArena improvement over direct API calling.

  2. FABLE: A Novel Data-Flow Analysis Benchmark on Procedural Text for Large Language Model Evaluation

    cs.AI 2025-05 conditional novelty 6.0 of 10

    A new benchmark adapts eight classic program data-flow analyses into natural-language questions and finds that only a reasoning-focused LLM clearly beats random guessing.

  3. Can LLM-Reasoning Models Replace Classical Planning? A Benchmark Study

    cs.RO 2025-07 conditional novelty 4.0 of 10

    Reasoning-optimized LLMs reach at most 63.4% success across the five PDDL benchmarks, versus 97.9% for Fast Downward, and frequently produce plans that fail during execution.

  4. Evolutionary Perspectives on the Evaluation of LLM-Based AI Agents: A Comprehensive Survey

    cs.CL 2025-06 conditional novelty 4.0 of 10

    A survey that classifies AI agent evaluation benchmarks along environment and capability axes, and proposes five traits that distinguish agents from chatbots.

  5. Large Language Models for Planning: A Comprehensive and Systematic Survey

    cs.AI 2025-05 conditional novelty 3.0 of 10

    A structured survey of LLM planning methods, benchmarks, and interpretability work, organized around a three-way taxonomy.

Pith tools