atlas

Research map / Large language models / Agents, code and math

DynaAct: Large Language Model Reasoning with Dynamic Action Spaces

NeurIPS 2025 · Large language models › Agents, code and math · approach: LLM planning with symbolic tools · 0 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Proposes DynaAct, which builds a compact per-step action space by greedily maximizing a learned submodular utility-plus-diversity function over LLM-extracted observation sketches, then searches reasoning paths with MCTS on a frozen Llama-3.1-8B.

Problem

Sequential LLM reasoning needs an action space that is both scalable (learned rather than hand-designed) and compact (small yet information-dense per step); existing approaches use either manual action sets or unstructured natural-language search.

Approach

Estimate a proxy full action space from observation sketches extracted by an LLM over a problem corpus, then at each step select a size-m candidate subset by greedily maximizing a submodular function combining a log-sum-exp utility term (learned embedding Q-function via Q-learning) and a min-distance diversity term; MCTS then evaluates the candidates.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
use DynaAct instead of SC@maj16Llama-3.1-8B-Instruct · MMLUaccuracy: 69.66 -> 70.22Helped
use DynaAct instead of SC@maj16Llama-3.1-8B-Instruct · MMLU-Proaccuracy: 49.36 -> 51.40Helped
use DynaAct instead of RAPLlama-3.1-8B-Instruct · GPQAaccuracy: 38.89 -> 39.39Helped
use DynaAct instead of rStarLlama-3.1-8B-Instruct · ARC-Caccuracy: 86.43 -> 88.31Helped
use DynaAct instead of RAPLlama-3.1-8B-Instruct · GSM8Kaccuracy: 87.79 -> 89.16Helped
use DynaAct instead of rStarLlama-3.1-8B-Instruct · MATH-500accuracy: 54.20 -> 61.00Helped
add the utility term (ablation)DynaAct · ARC-Caccuracy: 87.63 -> 88.31Helped
add the utility term (ablation)DynaAct · MATH-500accuracy: 53.40 -> 61.00Helped
add the diversity term (ablation)DynaAct · ARC-Caccuracy: 86.52 -> 88.31Helped
add the diversity term (ablation)DynaAct · MATH-500accuracy: 53.80 -> 61.00Helped
add Q-learning to train the embedding function (ablation)DynaAct · ARC-Caccuracy: 87.80 -> 88.31Helped
add Q-learning to train the embedding function (ablation)DynaAct · MATH-500accuracy: 55.80 -> 61.00Helped

Surprising findings

Limitations

Experimental setup

Datasets: Open-Platypus MMLU MMLU-Pro GPQA ARC-C GSM8K MATH-500

Benchmarks: MMLU MMLU-Pro GPQA ARC-C GSM8K MATH-500

Metrics: exact match accuracy relative latency critical step coverage

Baselines: Zero-shot CoT SC@maj16 RAP rStar

Builds on: rap rstar monte carlo tree search q-learning

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy