atlas

Research map / Large language models / Reasoning and chain of thought

AREAL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning

NeurIPS 2025 · Large language models › Reasoning and chain of thought · approach: RL with verifiable rewards for reasoning · 3 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.

Presents AReaL, a fully asynchronous RL system for LLM reasoning that decouples streaming rollout generation from training, paired with a staleness-controlled decoupled PPO objective.

Problem

Synchronous RL systems for large reasoning models waste GPU time because generation must wait for the longest output in each batch, and asynchronous training introduces data staleness that can degrade PPO.

Approach

Decouple rollout workers from trainer workers with interruptible, continuously running generation; control data staleness via a maximum-staleness constraint; and use a decoupled PPO objective that separates behavior and proximal policies so samples from multiple policy versions remain usable.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
replace synchronous RL with fully asynchronous AReaLR1-Distilled-Qwen 1.5B · AIME24training hours: 41.0 -> 14.8Helped
replace synchronous RL with fully asynchronous AReaLR1-Distilled-Qwen 1.5B · AIME24pass@1 accuracy: 42.0 -> 42.2Mixed
replace synchronous RL with fully asynchronous AReaLR1-Distilled-Qwen 7B · AIME24training hours: 57.7 -> 25.4Helped
replace synchronous RL with fully asynchronous AReaLR1-Distilled-Qwen 14B · LiveCodeBench (8/1/24-2/1/25)pass@1 accuracy: 56.7 -> 58.1Helped
replace synchronous RL with fully asynchronous AReaLR1-Distilled-Qwen 32B · LiveCodeBench (8/1/24-2/1/25)pass@1 accuracy: 61.2 -> 61.0Hurt
add the decoupled PPO objective (ablation)PPO with max staleness 4 · AIME24accuracy: 23.3 -> 42.2Helped
add the decoupled PPO objective (ablation)PPO with max staleness 8 · AIME24accuracy: 35.7 -> 41.0Helped
allow max staleness 4 instead of zero staleness (ablation)PPO without decoupled objective · AIME24accuracy: 42.0 -> 23.3Hurt
use unbounded instead of zero staleness (ablation)Decoupled PPO · AIME24accuracy: 42.0 -> 36.9Hurt
replace standard micro-batching with dynamic batching (ablation)PPO training across model sizes · Various model sizestraining throughput: 30%Helped
enable interruptible generation (ablation)AReaL rollout workers · 1.5B and 7B models on 4 nodesgeneration throughput: 12% and 17%Helped

Surprising findings

Limitations

Experimental setup

Datasets: DeepScaleR math dataset DeepCoder code dataset AIME24 AIME25 AMC23 MATH500 LiveCodeBench

Benchmarks: AIME24 AIME25 AMC23 MATH500 LiveCodeBench Codeforces CodeContests

Metrics: pass@1 accuracy training hours effective training throughput (tokens/s)

Baselines: verl (synchronous) Sync. AReaL DeepScaleR-1.5B DeepCoder-14B naive PPO with staleness

Builds on: PPO GRPO DeepScaleR SGLang Megatron-Core

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