paper-with-me

Papers

PlanningBench: Generating Scalable and Verifiable Planning Data for Evaluating and Training Large Language Models

2026-05-20 · Ziliang Zhao, Zenan Xu, Shuting Wang, Hongjin Qian, Yan Lei, Minda Hu, Zhao Wang, Shihan Dou, Zhicheng Dou, Pluto Zhou arxiv

Planning is a fundamental capability for large language models (LLMs) because such complex tasks require models to coordinate goals, constraints, resources, and long-term consequences into executable and verifiable solutions. Existing planning benchmarks, however, usually treat planning data as fixed collections of instances rather than controllable generation targets. This limits scenario coverage, ties difficulty to surface-level proxies rather than structural sources, and offers limited support for scalable generation, automatic verification, or planning-oriented training. We introduce PlanningBench, a framework for generating scalable, diverse, and verifiable planning data for both evaluation and training. PlanningBench starts from real planning scenarios and abstracts practical workflows into a structured taxonomy of more than 30 task types, subtasks, constraint families, and difficulty factors. Guided by this taxonomy, a constraint-driven synthesis pipeline instantiates self-contained planning problems with adaptive difficulty control, quality filtering, and instance-level verification checklists. This shifts planning data construction from fixed benchmark collection to controllable generation while preserving realistic task grounding. We use PlanningBench to evaluate open-source and closed-source frontier LLMs, and find that current models still struggle to produce complete solutions under coupled constraints. Beyond evaluation, reinforcement learning on verified PlanningBench data improves performance on unseen planning benchmarks and broader instruction-following tasks. Further analysis suggests that determinate or well-specified optimal solutions provide clearer reward signals and more stable training dynamics. Overall, PlanningBench provides a controllable source of planning data for diagnosing and improving generalizable planning abilities in LLMs.

📄 PDF Abstract BibTeX arXiv:2605.20873

Code (0)

등록된 구현이 없습니다.

Tasks

Reinforcement Learning

Similar Papers 제목 키워드 기반

Agent Planning Benchmark: A Diagnostic Framework for Planning Capabilities in LLM Agents

2026-06-03 · Haoyu Sun, Wenxuan Wang, Mingyang Song, Jujie He 외 arxiv

Planning is central to LLM agents: before acting, an agent must decompose goals, select tools, reason over constraints, and decide when a task is infeasible. Yet existing agent evaluations often report only end-to-end su…

SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges

2025-08-08 · Dewi S. W. Gould, Bruno Mlodozeniec, Samuel F. Brown arxiv

Evaluating the capabilities and risks of foundation models is paramount, yet current methods demand extensive domain expertise, hindering their scalability as these models rapidly evolve. We introduce SKATE: a novel eval…

Spatial Reasoning

MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering

2026-01-30 · Chuanzhe Guo, Jingjing Wu, Sijun He, Yang Chen 외 arxiv

The evolution of Large Language Model (LLM) agents for software engineering (SWE) is constrained by the scarcity of verifiable datasets, a bottleneck stemming from the complexity of constructing executable environments a…

Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training

2026-03-02 · Valentin Lacombe, Valentin Quesnel, Damien Sileo arxiv

Training on verifiable symbolic data is a promising way to expand the reasoning frontier of language models beyond what standard pre-training corpora provide. Yet existing procedural generators often rely on fixed puzzle…

Reinforcement Learning

Process Reward Models Meet Planning: Generating Precise and Scalable Datasets for Step-Level Rewards

2026-04-20 · Raffaele Pisano, Roberto Navigli arxiv

Process Reward Models (PRMs) have emerged as a powerful tool for providing step-level feedback when evaluating the reasoning of Large Language Models (LLMs), which frequently produce chains of thought (CoTs) containing e…

Mathematical Reasoning