Aleph Alpha
Red gradient with a soft light band across the top and faint translucent squares
Research

Leonard Salewski

Reasoning Effort That Adapts to the Request

A Hybrid Reasoning Effort Model

none Reasoning is disabled. Proceed straight to answering according to the user's instructions.
low Reasoning effort is set to low. Think briefly through only the essential steps in the user's language, then proceed directly to the answer.
medium Reasoning effort is set to medium. Think through the task methodically in the user's language, check key assumptions, and provide a well-supported answer.
high Reasoning effort is set to high. Think carefully through the task in the user's language, validate key assumptions, consider plausible alternatives, and prioritize correctness and clarity.

How to Measure Reasoning Length

Figure 1. Characters per reasoning token. One bar per dataset with at least 200 reasoning exchanges, measured with Kolibri's tokenizer over all its reasoning, grouped by domain and sorted within each group. The two extremes are labelled with the token budget a 2,000-character threshold means there. Hover over any bar for its own.

Assigning Reasoning Efforts Based on Reasoning Length

Constant Thresholds

low medium high selected domain all training exchanges
Figure 2. One threshold for every domain. Reasoning tokens per training exchange (log scale), weighted as the mix samples them. Drag the two thresholds and the bars show what each domain would be labelled. Click a domain to draw its distribution.

Dataset-Dependent Thresholds

Highlight
30th to 70th percentile, dot at the median pooled thresholds
Figure 3. Every dataset its own threshold. One bar per training dataset with at least 200 reasoning exchanges, sorted by median. Dataset names stay internal. Hover over a bar for the domain and the numbers.

Difficulty-Dependent Thresholds

Domain
easy medium hard whole dataset
Figure 4. Difficulty inside one dataset. One representative dataset per domain, split by the difficulty the judge assigns to its prompts. Ticks mark the medians.

The Label-Assignment Rule

Domain
low medium high dataset without difficulty groups
Figure 5. Every group its own thresholds. One row per (dataset, difficulty) group of the chosen domain, datasets sorted by median. Each bar runs from the group's 5th to 95th percentile of reasoning tokens and changes colour at its 30th and 70th. Hover a bar for its thresholds.
ug(L)=clip⁡[0,1] ⁣(0.3+0.4 log⁡L−log⁡ℓg30log⁡ℓg70−log⁡ℓg30)u_g(L) = \operatorname{clip}_{[0,1]}\!\left(0.3 + 0.4\,\frac{\log L - \log \ell_g^{30}}{\log \ell_g^{70} - \log \ell_g^{30}}\right)
P(e∣L,g)∝exp⁡ ⁣(−12(ug(L)−meβ we)2),e∈{low,medium,high}P(e \mid L, g) \propto \exp\!\left(-\frac{1}{2}\left(\frac{u_g(L) - m_e}{\beta\, w_e}\right)^{2}\right), \qquad e \in \{\texttt{low}, \texttt{medium}, \texttt{high}\}

Here LL is the exchange’s reasoning length, ℓg30\ell_g^{30} and ℓg70\ell_g^{70} the 30th and 70th percentile of its group gg, and mem_e, wew_e the centre and width of bucket ee on the edges 0, 0.3, 0.7 and 1. We use β=0.15\beta = 0.15.

Group
low medium high
Figure 6. The soft label in one group. Top: the group's traces, coloured by the share of each label they draw. Bottom: the probability of each label against length. Dashed lines are the group's 30th and 70th percentile. Move β\beta to see the trade between a sharp edge and a learnable stopping point. At β=0\beta = 0 the label is a hard cut.

Training on the Labels

Source conversation · one training row
user · reasoning_effort = lowWhat is 17 × 23?
assistantreasoning: 17 × 20 = 340, 17 × 3 = 51, sum 391.
391
user · reasoning_effort = highNow show that there are infinitely many primes.
assistantreasoning: Suppose there were only finitely many primes p1, …, pn. Then N = p1⋯pn + 1 …
Assume there are only finitely many primes …
Sample 1 · loss on turn 1
system# Reasoning effort
Reasoning effort is set to low. Think briefly through only the essential steps in the user's language, then proceed directly to the answer.
userWhat is 17 × 23?
assistantreasoning: 17 × 20 = 340, 17 × 3 = 51, sum 391.
391
Sample 2 · loss on turn 2
system# Reasoning effort
Reasoning effort is set to high. Think carefully through the task in the user's language, validate key assumptions, consider plausible alternatives, and prioritize correctness and clarity.
userWhat is 17 × 23?
assistant391 (reasoning dropped, no loss)
userNow show that there are infinitely many primes.
assistantreasoning: Suppose there were only finitely many primes p1, …, pn. Then N = p1⋯pn + 1 …
Assume there are only finitely many primes …

An illustrative conversation constructed for this post. The split and the sentences follow the trainer.

Evaluating the SFT'd Model

Figure 7. Score against tokens. The SFT checkpoint on the six benchmarks we also evaluated after RL, one point per effort from none (smallest) to high (largest). Tokens are the median completion tokens per sample, log scale.
low medium high
Figure 8. Effort against difficulty at evaluation. Median reasoning tokens of the SFT checkpoint by the difficulty the 2B judge assigns to the eval prompt. The vertical gap between lines is what the effort buys, and the slope is what difficulty buys. Hover over a point for its value.

What RL Adds

low medium high
Figure 9. Reasoning effort during RL. Mean validation completion tokens per requested effort over the main RL run, smoothed over 11 steps.
Figure 10. Score against tokens after RL. The released model (solid) and the SFT checkpoint (dashed) on the six benchmarks of Figure 7, one point per effort from none (smallest) to high (largest). Tokens are median completion tokens, log scale.

Limits

Future Work

Acknowledgements

Citation

@misc{alephalpha2026kolibri,
  title         = {Kolibri: A Sovereign European Model on the Pareto Frontier},
  author        = {{Aleph Alpha} and Moritz Althaus and Artur Baranowski and Michael Barlow and Fabien C. Y. Benureau and Felix Berkenkamp and Amrita Bhattacherjee and Lukas Blübaum and Duncan Blythe and Augustijn de Boer and Bastian Boll and Thomas F. Burns and Björn Deiseroth and Niko Dürr and Béni Balázs Egressy and Niklas Finken and Niklas Freymuth and Fabian Gebhart and Max Hammer and Bastian Harren and Andreas Hartel and Johann Higl and Steffen Hirschmann and Pablo Iyu Guerrero and Yasser Jadidi and Andreas Jagusch and Mitja Kleider and Markus Klein and Jonas Knupp and Murali Kondragunta and Garwin Lechner and Dominik Lê-Kellner and Jurek Leonhardt and Jiaze Li and Sohir Maskey and Omar Mehio and Pit Neitemeier and Letitia Parcalabescu and Alejandro Petry Pacheco and Pranav Ragupathy and Martin Reinhardt and Peter Rodenkirch Nfissi and Dylan Rodriquez and Leonard Salewski and Raziye Sari and Jordan Sassoon and Ivo Schaper and Ilhan Scheer and Frank Schneider and Philipp Scholl and Lukas Schott and Eric Schreiber and Pablo Schumacher and Alessio Serra and Philipp Siedler and Prabhu Teja Sivaprasad and Mohamed Soliman and Till Speicher and Volker Stampa and Simon Thel and Serge Thilges and Irina Vidal Migallón and Denis Waßmann and Samuel Weinbach and Sascha Wirges and Michael Wüthrich and Alexei Zacharov},
  year          = {2026},
  eprint        = {2610.31945},
  archiveprefix = {arXiv},
  primaryclass  = {cs.CL},
  url           = {https://arxiv.org/abs/2610.31945}
}

References

At medium effort the post cites all 18 works.

More blog posts