Thinking in a Low-Resource Language: What SFT Builds, What RL Fixes, What Accuracy Cannot See
Summary
This paper studies supervised fine-tuning and reinforcement learning for reasoning in low-resource languages, revealing that accuracy benchmarks are noisy while SFT builds language-specific reasoning and RL fixes format and leakage issues.
View Cached Full Text
Cached at: 08/19/26, 10:01 AM
# . Introduction: one number, six dimensions
Source: [https://arxiv.org/html/2608.17744](https://arxiv.org/html/2608.17744)
![[Uncaptioned image]](https://arxiv.org/html/2608.17744v1/figures/kiefer_logo_v2.png)![[Uncaptioned image]](https://arxiv.org/html/2608.17744v1/figures/sophea_owl_v2.png)
Thinking in a Low\-Resource Language: What SFT Builds, What RL Fixes, What Accuracy Cannot See Ayoub Kirouane1Christos Petrocheilos1 1Sophea AI, KIEFER SA, Athens, Greece
\{a\.kirouane, c\.petrocheilos\}@kiefer\.gr
models@sophea\.ai
Models & Benchmarks:[https://huggingface\.co/KIEFERSA](https://huggingface.co/KIEFERSA)August 2026
Abstract
Take three frontier mixture\-of\-experts models \(Alibaba, OpenAI, NVIDIA;3\.63\.6–4\.04\.0B active parameters each\) and fine\-tune them to reason in a low\-resource language\. On accuracy benchmarks, almost nothing happens, and the benchmark itself is noise at this scale: changing only the random seed moves the score by 7\.7 points, more than every data and recipe effect we measured\. That null is our first result\. The real changes live where accuracy cannot see\. Base models never think in Greek: 0 of 1,000 reasoning traces, even when the question is Greek, so the model answers correctly while reasoning in a form its user cannot read, audit, or correct\. After supervised fine\-tuning \(SFT\), every released checkpoint reasons in the language of the question on∼\\sim98% of items, one family at3×3\\timesfewer tokens, with judged grammaticality improving on all four models and general ability within a few points of each model’s own base in both languages: nothing was forgotten, and fluency was gained\. We propose the six behavioural dimensions that make such changes measurable \(which language the model reasons in, what it spends, whether it can tell easy from hard, and what it forgot\), each gated to reject any metric that correlates with output length, and we report how our own instruments lied: six failures, each caught by a control, each of which had already convinced us of something false\. What SFT cannot do is fix its own defects: a quarter of answers skip the requested format, answers leak into the reasoning channel, and an explicit “think in English” is obeyed under half the time\. Reinforcement learning with verifiable rewards, pre\-registered before training, fixes the first two outright \(answer\-format fallback24%→2\.5%24\\%\\\!\\to\\\!2\.5\\%, answer\-channel leak3\.5%→0\.0%3\.5\\%\\\!\\to\\\!0\.0\\%, both against a flat random\-reward control\) and moves the third \(\+9\.1\+9\.1pp, real but short of its pre\-registered bar\), while the Greek reasoning habit survives an accuracy\-only gradient untouched \(98\.2%98\.2\\%fidelity\)\. We release five checkpoints\. The instruments, the controls and the pre\-registration travel to any low\-resource language; Greek is the case that let us measure them\.
A reasoning fine\-tune is judged the way every fine\-tune is judged: one accuracy number, before and after\. For a low\-resource language that number answers a question nobody asked\. It does not say which language the model reasons*in*, how many tokens it burns getting there, whether it can tell an easy question from a hard one, or what it gave up in exchange\.
The study is designed around the constraint a low\-resource deployment actually faces: the serving bill\. We hold the*active*parameter count fixed \(3\.63\.6–4\.04\.0B per token\) and vary the lab: three sparse mixture\-of\-experts families from Alibaba, OpenAI, and NVIDIA, each a frontier lab’s different architectural bet on the same inference budget \(§[2](https://arxiv.org/html/2608.17744#S2)\)\. Sparse MoE is the architecture of interest precisely because it is cheap: a2020–3636B\-parameter model that serves at the cost of a44B dense one is what makes local reasoning models economically viable for a language community that cannot fund frontier\-scale inference\. Running the same recipe, corpus, and instruments across all three families is what lets us separate what the fine\-tune does from what one architecture happens to do\.
Greek already has a dedicated open\-model ecosystem we build on rather than from scratch: the Meltemi and Krikri instruction models\[[35](https://arxiv.org/html/2608.17744#bib.bib35),[26](https://arxiv.org/html/2608.17744#bib.bib26)\], their translated evaluation suites, and our own Sophea\-Titan\-1 general\-purpose model\. What none of that line measures is long\-form*reasoning*behaviour: those models answer in Greek, but no released checkpoint thinks out loud in it, and no Greek benchmark can currently tell the difference between a model that does and one that plans in English and translates at the end\.
We measured all of those, and the contrast is the paper\. On accuracy, almost nothing happened \(the best of the1515arms of §[7](https://arxiv.org/html/2608.17744#S7)scores76\.576\.5against the base’s77\.277\.2, both on the1,0001\{,\}000\-item three\-axis Greek probe in think mode\), and for several weeks we treated that as a corpus problem and built five more corpora to fix it\.
None of them fixed it, and eventually we ran the experiment that should have come first: we retrained one configuration, changing nothing but the random seed\. The score moved7\.77\.7points\. Every difference we had been interpreting \(better data selection, a better corpus, a changed training schedule\) was smaller than that\.
This paper is what remains after that discovery, and what replaces it, told in the order the reasoning has to run\. Section[2](https://arxiv.org/html/2608.17744#S2)fixes the models, the corpus, and the evaluation lanes; Section[3](https://arxiv.org/html/2608.17744#S3)defines the six dimensions before any of them is used\. Section[4](https://arxiv.org/html/2608.17744#S4)establishes the noise floor\. Section[5](https://arxiv.org/html/2608.17744#S5)shows that the properties which*did*change are not accuracy and are not seed\-sensitive: the language the model reasons in, the tokens it spends, and whether it can tell an easy question from a hard one\. Section[6](https://arxiv.org/html/2608.17744#S6)asks what the fine\-tune forgot\. One training\-recipe comparison mattered enough to keep as a self\-contained side experiment: it explains our answer\-format failure mode and is the one accuracy effect that survives, replicated across1515independently trained arms rather than read off a single run; it is reported on its own terms in §[7](https://arxiv.org/html/2608.17744#S7)\. Section[8](https://arxiv.org/html/2608.17744#S8)reports six instrument failures: five controls each of which killed or corrected a finding we believed, and Section[9](https://arxiv.org/html/2608.17744#S9)states the acceptance rule they taught us\. Section[10](https://arxiv.org/html/2608.17744#S10)then repairs the one defect the recipe installs \(the language lock\) and Section[11](https://arxiv.org/html/2608.17744#S11)closes the two remaining pre\-registered questions\. What follows reads the same evidence per domain \(§[12](https://arxiv.org/html/2608.17744#S12)\) and per family \(§[13](https://arxiv.org/html/2608.17744#S13)\), and Sections[14](https://arxiv.org/html/2608.17744#S14)–[16](https://arxiv.org/html/2608.17744#S16)state what we can and cannot recommend on it\.
The claim\.We find that for a low\-resource\-language reasoning fine\-tune, accuracy on a translated benchmark is close to uninformative: it is dominated by training noise, distorted by answer\-format effects, and inflated by contamination that standard checks miss\. The behavioural dimensions are stable, large, and measure what the fine\-tune was actually for\.
## \. Setup
Models\.Three sparse mixture\-of\-experts model families\[[30](https://arxiv.org/html/2608.17744#bib.bib30),[12](https://arxiv.org/html/2608.17744#bib.bib12)\]from three different labs \(four checkpoints in all, since the Nemotron line contributes two generations\), chosen because they occupy the*same serving budget*while making different architectural bets with it:
Table 1:Total and routed\-expert parameters counted from the released tensors; active\-per\-token is non\-routed\+\+k/Ek/Eof routed\. Gpt\-OSS ships MXFP4\-packed experts, so its figures are vendor\-reported\. NemotronH \(Nano\) and Nemotron\-3\.5\-Lightning areMamba/MoE hybrids\(Mamba, MoE and attention layers of 52; the state\-space line of[Gu and Dao 2023](https://arxiv.org/html/2608.17744#bib.bib14),[Dao and Gu 2024](https://arxiv.org/html/2608.17744#bib.bib8)and the vendor’s Nemotron\-H report\[[21](https://arxiv.org/html/2608.17744#bib.bib21)\]\); the other two are MoE transformers\. The right\-most column names the fine\-tuned Sophea reasoning release each base produces; all four SFT releases are language\-matched, and a fifth release, Sophea\-Qwen3\.6\-v1\.1, is the RLVR refinement of the Qwen row \(§[15\.1](https://arxiv.org/html/2608.17744#S15.SS1)\)\. Throughout,*base*refers to the vendor checkpoint and*fine\-tuned*to its Sophea reasoning model\. Lightning is the next\-generation release in the Nemotron line; Nano and Lightning share the 31\.6B / 6\-of\-128 routing profile and are reported together as the Nemotron family \(Nano is the same\-generation member of that family\)\.Total size differs by1\.7×1\.7\\timeswhile active size differs by11%11\\%\.All three cost roughly the same to serve and spend that budget differently: Qwen routes 8 of 256 experts \(3\.1% of its parameters per token\), Gpt\-OSS 4 of 32 \(12\.5%\), NemotronH 6 of 128 while replacing most of its attention with state\-space layers\. Comparing them on*total*parameters would say Qwen is1\.7×1\.7\\timesthe model that Gpt\-OSS is; comparing on*active*says they are the same size\. We report both and treat active as the meaningful axis, because it is what a deployment pays\.
This also bounds what our results generalise to: MoE models are not evidence about dense ones \(Limitations\)\. And MoE changes what LoRA attaches to\.
Adaptation\.LoRA\[[16](https://arxiv.org/html/2608.17744#bib.bib16)\]atr=32r\{=\}32,α=64\\alpha\{=\}64, one epoch, effective batch3232, learning rate×10−42\\\!\\times\\\!10^\{\-4\}\. All training, merging, and evaluation ran on a single NVIDIA DGX B200 node:8×8\\timesB200 GPUs \(180180GB HBM3e each,1\.441\.44TB aggregate\), which fits every configuration in this paper without model parallelism beyond FSDP sharding, a deliberate constraint, since a recipe for a low\-resource language should be reproducible on one node\.*Expert stride 3*means adapters are placed on every third MoE layer rather than all of them; the shared expert, which lies on every token’s path, is always included\. The stride exists because expert count, not model size, sets the number of adapters: where a model stores its experts as stacked parameters, PEFT attaches one adapter per stack \(28 for Qwen, 16 for Gpt\-OSS\), but where they are individually\-materialisednn\.Linearmodules it attaches one per expert: 4,188 separate adapter tensors on a model we profiled, which costs step time in kernel launches and gradient all\-reduces rather than in FLOPs\. Fused\-expert LoRA also cannot be loaded back byPeftModel\.from\_pretrainedunder our library versions, so every Qwen checkpoint is merged into dense weights before evaluation\.
Corpus\.118,092118\{,\}092Greek rows in two halves of almost equal size\.
The*reasoning half*\(59,10759\{,\}107\) carries an explicit trace in a separate field\. It is98\.5%98\.5\\%synthetic: questions and gold answers come from public English datasets, but the traces are generated \(see below\)\. Only894894rows carry a trace we did not produce \(the domain mix is Table[2](https://arxiv.org/html/2608.17744#S2.T2)\)\.
The*direct half*\(58,98558\{,\}985\) has no traces\. It is the instruction corpus ofSophea\-Titan\-1, a previously released Greek model, reused unchanged: Aya\[[33](https://arxiv.org/html/2608.17744#bib.bib33)\]\(33\.8%33\.8\\%\), a Greek instruction set \(25\.8%25\.8\\%\), synthetic multi\-turn dialogue \(10\.1%10\.1\\%\), Greek QA \(7\.7%7\.7\\%\) and twelve smaller sources, plus∼\\sim2,6002\{,\}600rows of domain chain\-of\-thought \(legal, medical, finance, energy\) and5050identity rows\. It is91%91\\%Greek and9%9\\%English \(5,2115\{,\}211rows\), the English kept deliberately as replay against catastrophic forgetting\. Reusing a corpus that had already produced a working Greek model is why we did not initially suspect this half of anything\.
Its intended role is to keep the model’s non\-reasoning mode alive, and it does: §[7](https://arxiv.org/html/2608.17744#S7)shows that omitting it collapses the reasoning switch\. It is also, on the same evidence, what costs the model most of its accuracy and its answer\-format compliance\. That tension is the paper’s one replicated recipe finding\.
Table 2:The reasoning half is math\-heavy and thin on the axes we evaluate hardest: commonsense is6\.6%6\.6\\%and logic8\.7%8\.7\\%of it\.Where the traces come from\.Questions and gold answers are taken from public English datasets and translated; the*traces are generated*, not translated\. Asking a translator to render a chain of thought returns a tidy summary \(which is the defect described next\), so we prompt an LLM to solve each question afresh in Greek and keep the trace only if its final answer agrees with the gold\. The generators are two frontier commercial models from a single family: one for the mathematics slice \(from OpenR1\-Math\-220k questions\) and a larger one for the logic, commonsense and regenerated\-ECQA slices\); the remaining reasoning rows are carried unmodified from their sources \(Llama\-Nemotron post\-training science, medical\-o1, Dolci\)\. Every row carries asourcefield recording its origin\. Rows failing the gold check are discarded rather than repaired \(the answer\-gating rule is STaR’s\[[40](https://arxiv.org/html/2608.17744#bib.bib40)\]\): a wrong trace teaches wrong reasoning\. Typical yield is6060–95%95\\%depending on source\.
Trace genre, and how we measure it\.The property that distinguishes a useful trace from a useless one is not correctness but*structure*: whether the text shows reasoning happening \(a candidate tried, a flaw noticed, a correction\) or merely justifies a conclusion already reached\[[19](https://arxiv.org/html/2608.17744#bib.bib19),[13](https://arxiv.org/html/2608.17744#bib.bib13)\]\. We score it as
S=0\.40b\+0\.25v\+0\.25p\+0\.10ℓS\\;=\\;0\.40\\,b\\;\+\\;0\.25\\,v\\;\+\\;0\.25\\,p\\;\+\\;0\.10\\,\\ellwherebbis the presence of backtracking markers,vvof verification,ppthe fraction that is flowing prose rather than a numbered list, andℓ\\ella length term\. Backtracking dominates because it is the property a write\-up never has\.SSis a*corpus*diagnostic used to decide what to train on; it is not one of the model metrics in §[3](https://arxiv.org/html/2608.17744#S3)\.
The distinction is not theoretical\. A public Greek commonsense\-explanation set \(ECQA questions translated into Greek with the original human\-written justifications kept\) scoresS=0\.27S=0\.27with0%0\\%of its traces above0\.50\.5; regenerating traces for the*same questions*with the prompt above givesS=0\.68S=0\.68and97%97\\%above0\.50\.5\. Our own first corpus was72%72\\%numbered write\-ups, which is what sent us looking\.
Naming\.Arms are named for what actually distinguishes them \(the training recipe and the number of reasoning rows\) rather than by internal version tags \(Table[3](https://arxiv.org/html/2608.17744#S2.T3)\):
Table 3:Two\-Phasecontinues the*same adapter*fromReasoningonto the hybrid mix;One\-Phasenever separates the two halves\. The three recipes fail in different ways \(§[7](https://arxiv.org/html/2608.17744#S7)\)\.Subsetis a draw of the same reasoning rows, originally selected by a trace\-structure score; §[4\.3](https://arxiv.org/html/2608.17744#S4.SS3)shows that selection performs no better than sampling the same number of rows at random, so we name it by what it is \(a subset\) rather than by a method the evidence does not support\.
Benchmark\.5,1565\{,\}156Greek items: in mathematics,250250human\-translated MGSM\-style GSM8K items \(ILSP’silsp/mgsm\_greek; MGSM itself\[[31](https://arxiv.org/html/2608.17744#bib.bib31)\]contains no Greek, so these are its250250GSM8K\-test\[[7](https://arxiv.org/html/2608.17744#bib.bib7)\]problems human\-translated by ILSP, the Meltemi lab\) plus our own machine\-translated items from the rest of GSM8K test \(1,1001\{,\}100of its1,3191\{,\}319items kept after number\-preservation gating, minus55duplicated in MGSM =1,0951\{,\}095,1,3451\{,\}345math in total,§[8](https://arxiv.org/html/2608.17744#S8)\\lx@sectionsign\\ref\{sec:lied\}\); Greek HellaSwag\[[41](https://arxiv.org/html/2608.17744#bib.bib41)\]and WinoGrande\[[27](https://arxiv.org/html/2608.17744#bib.bib27)\]\(3,2673\{,\}267commonsense, machine\-translated\); and a decontaminated ProofWriter\-el\[[34](https://arxiv.org/html/2608.17744#bib.bib34)\]probe \(544544logic, reported as macro\-recall\)\. Greedy decoding throughout\.
Scoring\.Every prompt requests a specific final line\. We score*that line*and reportfallback%, the share of rows where the model never produced it \(§[8](https://arxiv.org/html/2608.17744#S8)\)\.
Metrics\.Accuracy is one of six dimensions we report, not a summary of them: correctness, language fidelity, reasoning budget, termination, reasoning steps and budget overrun\. They are defined in full in §[3](https://arxiv.org/html/2608.17744#S3), at the end, because the results are the argument and the definitions are reference; a reader meeting*budget overrun*or*macro\-recall*for the first time in §[5](https://arxiv.org/html/2608.17744#S5)can turn there\.
Evaluation lanes\.The claims in this paper draw on five distinct instruments, and it matters to keep them separate because they measure different things and are run under different conditions\. \(i\) TheGreek reasoning benchmarkabove \(5,1565\{,\}156items\) is the home lane: fidelity, accuracy, fallback, termination and budget behaviour all come from scoring full generated traces on it, in both reasoning \(<think\>\) and direct modes\. \(ii\) TheEnglish control\(1,1001\{,\}100items: the gated English GSM8K originals behind the machine\-translated Greek math axis, §[8](https://arxiv.org/html/2608.17744#S8); a separate held\-out non\-math probe accompanies it\) asks whether the model still reasons in English when the question is English; it is scored the same way, and it is what E1 \(§[10](https://arxiv.org/html/2608.17744#S10)\) is read from\. \(iii\) TheTitan\-1 suite\(nine Greek plus five English NLU benchmarks, scored by log\-likelihood with no generation at all\) measures*general*ability for the forgetting question \(E2\); it cannot see trace language, deliberately: it answers what SFT damaged, not how the model writes\. \(iv\) Asentence\-level switching probe\(E4b method: hand\-labelling the language of each sentence in∼\\sim150150traces per condition\) is what “zero switches per 100 sentences” is counted on; a per\-trace ratio cannot see a mid\-trace language island\. \(v\) AGreek NLU benchmark\(1818tasks,9,7519\{,\}751items: NLI, sentiment, coreference, extractive QA, cloze, machine translation, …\), generated in*direct*mode with no reasoning requested and scored strict/lenient, answers whether the non\-reasoning mode still works \(E3, §[11](https://arxiv.org/html/2608.17744#S11)\); its strict\-vs\-lenient split separates capability loss from format loss the same wayfallback%does on the reasoning side\. Where a number could have come from two instruments, we name the lane next to the number\.
## \. Metrics
Accuracy is one of six dimensions, not a summary of them\. Let an armaaproduce, on itemii, a reasoning traceta\(i\)t\_\{a\}\(i\)of lengthwa\(i\)w\_\{a\}\(i\)words and a final answer\.
M1: Correctness\.Anchored accuracy: the requested answer line is parsed first, free\-text matching only if it is absent\. Logic is reported as*macro\-recall*over its three classes, never accuracy: the class distribution is891/270/165891/270/165, so a majority\-class answerer scores67%67\\%raw and33%33\\%macro\. Accuracy on that axis measures prior\-match, not reasoning\. Per\-class recall shows how literal that is:*every*arm, base included, is near\-blind to*Lathos*\(False,1414–16%16\\%recall across the line\) while*Agnotsto*\(Unknown\) is answered at a prior of68\.8%68\.8\\%: the third class works as a decision threshold between two priors, not as a reasoning output\. The same mechanism explains why this axis carries the seed swings of §[4](https://arxiv.org/html/2608.17744#S4): a single seed change moved one arm’s*Sosto*\(True\)\-class recall84\.7→17\.384\.7\\to 17\.3\(−67\-67pp\)*without*touching the other classes: aTrue→Unknown\\text\{True\}\\to\\text\{Unknown\}prior slide on the same data, not a capability change\. When a logic number moves, read the class recalls, not the mean\.
M2: Language fidelity\.g\(t\)=\|GR\(t\)\|/\(\|GR\(t\)\|\+\|LA\(t\)\|\)g\(t\)=\|\{\\rm GR\}\(t\)\|/\(\|\{\\rm GR\}\(t\)\|\+\|\{\\rm LA\}\(t\)\|\), the Greek share of alphabetic characters after stripping code andLaTeX\(otherwise technical traces read as Latin\)\. We report the medianggand the fraction of traces withg≥0\.9g\\geq 0\.9\.
M3: Reasoning budget\.Medianwaw\_\{a\}, and*words per correct answer*∑iwa\(i\)/\|\{i:acorrect\}\|\\sum\_\{i\}w\_\{a\}\(i\)/\|\\\{i:a\\text\{ correct\}\\\}\|, the quantity a deployment pays for\. One confound conditions every word\- or token\-based number in this paper: Greek costs2\.32\.3–2\.5×2\.5\\timesthe tokens of English per word*on all three families*\(measured fertility:2\.322\.32,2\.392\.39,2\.51×2\.51\\times, see Limitations\), so a uniformly\-applied\-\-max\-newbudget is a roughly2\.4×2\.4\\timestighter ceiling in Greek\. Both M3 and M6 are reported in words, not tokens, by construction: the metric exists precisely to hold the comparison fair across languages; the tokenizer is the hidden hand behind them\.
M4: Termination\.Share of rows reaching the generation cap without a final answer\. Fully objective; no proxy\.
M5: Reasoning steps\.Count of*intermediate conclusions*: trace sentences asserting a numeric result or explicitly evaluating a named option\. Not sentence count, which isw/12w/12in disguise \(§[9](https://arxiv.org/html/2608.17744#S9)\)\.
M6: Budget overrun\.Withf\(i\)f\(i\)the fraction of arms answeringiicorrectly andw~\(i\)\\tilde\{w\}\(i\)the median trace length across arms onii,
OVa=\|\{i:f\(i\)≥0\.8∧wa\(i\)≥3w~\(i\)\}\|\|\{i:f\(i\)≥0\.8\}\|\{\\rm OV\}\_\{a\}\\;=\\;\\frac\{\\bigl\|\\\{\\,i:f\(i\)\\geq 0\.8\\;\\wedge\\;w\_\{a\}\(i\)\\geq 3\\,\\tilde\{w\}\(i\)\\,\\\}\\bigr\|\}\{\\bigl\|\\\{\\,i:f\(i\)\\geq 0\.8\\,\\\}\\bigr\|\}\(overspending on items nearly every model gets right, where difficulty cannot excuse it\)\. Both ingredients are model\-independent:ffandw~\\tilde\{w\}are computed across all arms\.
Two diagnostics accompany these rather than scoring quality:fallback%\(M1’s parse\-failure rate, which turns out to measure instruction\-following; Figure[1](https://arxiv.org/html/2608.17744#S3.F1)maps it by recipe and family\) and*switch integrity*, the share of think\-mode rows returning an empty trace when one was requested\.
Figure 1:fallback%\(the rate at which a model never emits the requested answer line\) by recipe and by language\-matched checkpoint\. It separates “cannot reason” from “will not answer in the requested form”: every recipe failure in the paper is visible here before it is visible anywhere else\. The Qwen recipes are the side experiment of §[7](https://arxiv.org/html/2608.17744#S7); the Gpt\-OSS language\-matched arm’s pre\-repair Greek\-lane rate \(70%\) is the family defect at its largest \(its traces are present and on\-language; the model simply does not close with the line the scorer is told to read\), and the released checkpoint’s format\-repair dose cuts it to26%26\\%\(§[11](https://arxiv.org/html/2608.17744#S11)\), still the highest of the releases\. The dashed reference is a base model on the English control \(3\.4%3\.4\\%\), showing the failure is not inherent to the benchmark\.
## \. The noise floor
Figure 2:Left: one configuration, three seeds, nothing else changed\. Right: every accuracy effect we measured over the project, against that range\. All of them fit inside it\.### \.1\. Why vary the seed
Every claim we had been making has the same shape:*recipe A scoredxx, recipe B scoredyy, therefore B is worse*\. That inference carries a hidden assumption \(that running recipe A twice would returnxxtwice\), and we had never tested it\. In effect we were comparing interventions against zero, having assumed the noise was zero\.
Varying the seed tests exactly that assumption, and it is the control condition rather than an additional experiment\. The seed sets the LoRAAA\-matrix initialisation and the data shuffling order; the corpus, hyperparameters, recipe and step count are identical, the benchmark is fixed and decoding is greedy\. Any spread that appears is therefore*training*, and it is the distribution of results produced by doing nothing at all: the null against which every measured effect has to be read\.
The closest analogy is calibrating an instrument: before claiming two objects differ in length, one measures the same object twice to learn the ruler’s precision\. We had been reporting differences finer than our ruler could resolve\.
This is not the error bar usually quoted\.The±3\.4\\pm 3\.4pp figure that a benchmark of this size implies is*sampling*error: how much the score moves because 1,000 particular items were drawn\. It says nothing about how much the*model*moves between runs, and training variance turned out to be roughly twice as large\. Papers reporting one number per configuration are accounting for the smaller of the two sources\. That training\-run variance, not sampling variance, is the operative error bar has been argued before\[[10](https://arxiv.org/html/2608.17744#bib.bib10),[4](https://arxiv.org/html/2608.17744#bib.bib4),[20](https://arxiv.org/html/2608.17744#bib.bib20)\]; §[17](https://arxiv.org/html/2608.17744#S17)places this project on that line\.
### \.2\. What it cost, and what it bought
We trained the same reasoning\-only configuration three times, varying only the seed \(Figure[2](https://arxiv.org/html/2608.17744#S4.F2): the three runs on the left, every measured effect against the resulting band on the right\)\.
Table 4:sd=4\.4\\text\{sd\}=4\.4pp, range=7\.7=7\.7pp\. Note the last column\.Two runs land near7676and one collapses to68\.768\.7, so this reads less like symmetric jitter than an occasional failure mode: roughly one run in three lands∼\\sim88pp low, taking the logic axis and instruction\-following down together\. Either reading supports the same conclusion\. For a differenceΔ\\Deltato be detected at the5%5\\%level with90%90\\%power againstσ≈4\.4\\sigma\\approx 4\.4pp, a two\-sample comparison needs
n≳2\(\(zα/2\+zβ\)σΔ\)2,zα/2=1\.96,zβ≈1\.28,n\\;\\gtrsim\\;2\\left\(\\frac\{\(z\_\{\\alpha/2\}\+z\_\{\\beta\}\)\\,\\sigma\}\{\\Delta\}\\right\)^\{2\},\\qquad z\_\{\\alpha/2\}=1\.96,\\;z\_\{\\beta\}\\approx 1\.28,seeds per arm: about1111for our largest effect \(6\.36\.3pp\) and about4040for the3\.23\.2pp one\. We could not afford either, and that infeasibility is itself the finding\.
Three runs also boundσ\\sigmaitself only loosely: the95%95\\%chi\-square interval onσ^=4\.4\\hat\{\\sigma\}=4\.4pp is\[2\.3,27\.7\]\[2\.3,27\.7\]pp\. The7\.77\.7pp range is therefore a point estimate from the one configuration and family it was measured on \(Qwen\); where this paper cites the band against other families or recipes, it is an assumption carried across, not a measurement; the qualitative conclusion \(single\-run deltas are unreliable\) is what transfers, not the number\.
The control costone additional training run\. It invalidated five conclusions we had already written down \(Figure[3](https://arxiv.org/html/2608.17744#S4.F3)plots every reported effect against the band\), and it redirected the paper: the same three seeds leave trace\-Greek at1\.00/1\.00/1\.001\.00/1\.00/1\.00and trace length at132/148/152132/148/152words, so the behavioural dimensions are*stable*under precisely the perturbation that makes accuracy unusable\. \(One honest caveat: trace\-Greek sits at its ceiling, where low variance is partly definitional; the unsaturated trace\-length column, varying132132–152152against an accuracy swing of7\.77\.7pp, is the stronger stability evidence\.\) We would not have looked for them otherwise\. Run this control before the ablations, not after them\.
Figure 3:Every accuracy effect we measured, against the7\.77\.7\-point seed\-to\-seed band \(shaded\)\. Attribute\-level effects \(data selection and corpus versions\) sit inside the band we would have been tempted to narrate\. The only effect that survives is the replicated phase\-2 comparison of §[7](https://arxiv.org/html/2608.17744#S7)\(\+6\.9\+6\.9pp,1515arms, permutationp=0\.0008p=0\.0008\): it is inside the band geometrically, but it is estimated across1515independently trained arms rather than read off a single run, which is precisely the difference the floor teaches\. The language\-matched accuracy cost \(−6\.9\-6\.9pp\) is drawn as an open \(unfilled\) marker on purpose: it is a single\-run measurement inside the floor, disclosed rather than interpreted, and not a recipe property\. The equal magnitudes of the\+6\.9\+6\.9and the−6\.9\-6\.9are a coincidence: different lanes, different arms\.Finding 1\.Seed\-to\-seed variance on a 35B MoE LoRA fine\-tune exceeds every data or recipe intervention we tested, replicating the training\-variance literature\[[10](https://arxiv.org/html/2608.17744#bib.bib10),[4](https://arxiv.org/html/2608.17744#bib.bib4),[20](https://arxiv.org/html/2608.17744#bib.bib20)\]at MoE\-LoRA scale111With one caveat we do not resolve: three of the four conditions are sparse MoE, so whether routing amplifies seed variance relative to a dense model is an open question \(Limitations\)\.\. Single\-run accuracy deltas at this scale are noise\. The qualitatively new observation is the asymmetry:*the language and budget dimensions do not move across the same three seeds*: trace\-Greek at1\.00/1\.00/1\.001\.00/1\.00/1\.00\(Table[4](https://arxiv.org/html/2608.17744#S4.T4), last column\) and trace length within132132–152152words\. That is what lets the rest of the paper measure anything\. The asymmetry is not universal:fallback%swings33–41%41\\%across the same seeds \(the same table’s third column\), moving*with*accuracy rather than against it \(§[7](https://arxiv.org/html/2608.17744#S7)\)\.
### \.3\. Data selection does nothing
The clearest single demonstration is a control we should have run first\.Subsetwas built by scoring every reasoning row for trace structure and keeping the top15,60715\{,\}607\(mean structure0\.8360\.836\)\. We then trained the identical recipe on15,60715\{,\}607rows drawn*uniformly at random*from the same pool \(mean structure0\.5870\.587; Table[5](https://arxiv.org/html/2608.17744#S4.T5)\):
Table 5:Selection buys−0\.5\-0\.5pp \(0\.31σ0\.31\\sigma\); a4×4\\timessmaller pool costs nothing\. The62,56262\{,\}562is the reasoning count of the pre\-gate*pool*the experiment was run against \(62,56262\{,\}562reasoning,60,21460\{,\}214direct\); the59,10759\{,\}107quoted everywhere else is the post\-gate*train*half \(59,10759\{,\}107reasoning,58,98558\{,\}985direct\), so the table’s*all*row and the paper’s reasoning\-half count differ by the3,4553\{,\}455rows the decontamination/dedup gate and the val reserve removed\.The pre\-registered prediction was that selection would win by more than 2 pp\. It is worth being explicit that an ordering across our corpus versions had earlier appeared to show “smaller is better”; that ordering was confounded with which corpus each subset came from, and does not survive this control\.[Xia et al\. 2024](https://arxiv.org/html/2608.17744#bib.bib38)report the same null at scale\.
## \. What actually changed
Figure 4:The same two checkpoints on four dimensions, the base and the structure\-selected reasoning\-only arm \(Subset, the “Reason\-16k” of Figure[11](https://arxiv.org/html/2608.17744#S12.F11)\), on the1,0001\{,\}000\-item probe lane\. Only the first is accuracy\.### \.1\. Language fidelity
Given a Greek question, the base models never reason in*Greek*, and mostly not in pure English either\. Zero of1,0001\{,\}000traces reach a Greek character ratio of0\.90\.9\(rule\-of\-three95%95\\%upper bound0\.3%0\.3\\%; the zero holds again on all5,1565\{,\}156items, Figure[9](https://arxiv.org/html/2608.17744#S10.F9)\), the median ratio is0\.330\.33\(English\-scaffolded mixed script, only4\.2%4\.2\\%purely English\), and reading them confirms the English scaffolding \(“We need to answer a multiple\-choice question in Greek…”\)\. Every fine\-tune we trained reasons in Greek on97\.497\.4–98\.7%98\.7\\%of measured traces \(the four SFT releases at97\.497\.4–98\.1%98\.1\\%, Table[7](https://arxiv.org/html/2608.17744#S5.T7); the one\-directional Qwen arm at98\.798\.7; the RLVR release at98\.2798\.27, §[15\.1](https://arxiv.org/html/2608.17744#S15.SS1)\)\.
In our study the property first arrived*overcorrected*: the one\-directional fine\-tune, instructed explicitly to reason in English, produced a non\-English trace on1000/10001000/1000items: SFT moved something no bare instruction we tried could reach \(few\-shot untested; Limitations\), and moved it too far, since a model that cannot be asked to think in English has lost a capability\. The correct target is matching the*question*; retraining on language\-matched pairs reaches it \(Greek fidelity97\.98%97\.98\\%\(5,052/5,1565\{,\}052/5\{,\}156\), English traces on100%100\\%of the1,9001\{,\}900paired English items, zero in\-question switches either direction\), with the full account, including the partial re\-opening of the instructed override on two of the four released checkpoints, in §[10](https://arxiv.org/html/2608.17744#S10)and §[10\.1](https://arxiv.org/html/2608.17744#S10.SS1)\.
We test whether the recipe is Qwen\-specific: trained on Gpt\-OSS\-20B, the identical language\-matched mix measures97\.79%97\.79\\%Greek fidelity pre\-repair and98\.14%98\.14\\%on the released, format\-repaired checkpoint \(both within one binomial standard error of the Qwen release\), with zero switches in both modes and100%100\\%English\-control compliance \(Table[12](https://arxiv.org/html/2608.17744#S10.T12)\); Nemotron\-3\.5\-Lightning, trained on the same mix, measures98\.06%98\.06\\%fidelity, zero switches and100%100\\%English\-control compliance under the identical probe \(Table[7](https://arxiv.org/html/2608.17744#S5.T7)\), with general\-ability retention measured against its own base:\+1\.7\+1\.7points Greek macro and−1\.1\-1\.1English on the Titan\-1 suite \(§[11](https://arxiv.org/html/2608.17744#S11), Table[14](https://arxiv.org/html/2608.17744#S11.T14)\); it is released as a third matched checkpoint, not a full replication of the two\. The Gpt\-OSS arm does show one family\-specific cost: its answer\-channel leak is9\.1%9\.1\\%pre\-repair and10\.3%10\.3\\%on the released checkpoint, against Qwen’s3\.5%3\.5\\%, so the trace\-register boundary that §[3](https://arxiv.org/html/2608.17744#S3)measures holds at different tightness per family\.
The Gpt\-OSS arm also separates the two failure modes this paper keeps apart\. Before its format repair, its Greek\-lane anchored accuracy reads56\.256\.2, with70\.2%70\.2\\%of rows never emitting the requested answer line, so the score is almost entirely a*format*floor, not a reasoning one \(§[3](https://arxiv.org/html/2608.17744#S3)\): the reasoning is present and on\-language; the model does not close with the line the scorer reads\. Both language\-matched checkpoints pay a format tax: Qwen’sfallback%is2424on the Greek lane \(and33on the English lane\); the released checkpoint answers in the requested form on three of four Greek items\. Gpt\-OSS’s is7070/6767\(think/direct\) before the repair, with55on English; the released, format\-repaired checkpoint pays2626on the Greek think lane \(§[11](https://arxiv.org/html/2608.17744#S11)\), still the highest of the releases\. The fidelity result above is independent of this metric: it is measured on the trace, where the released checkpoints are on\-language at98\.098\.0–98\.1%98\.1\\%\.
Reading the same releases per domain sharpens that format\-versus\-capability reading \(Table[6](https://arxiv.org/html/2608.17744#S5.T6)\)\. The defect the Gpt\-OSS arm pays is not uniform: before repair its fallback was35%on math against83%on commonsense and77%on logic: the loss lives in the open\-form domains, while math’s short numeric answer is format\-robust\. That is the shape a format defect takes, not the shape a capability loss takes\. Repair rescues the worst domain first \(commonsense83→26%83\{\\to\}26\\%and logic77→51%77\{\\to\}51\\%fallback, math35→17%35\{\\to\}17\\%\), and accuracy follows\. Two smaller readings\. Logic is the hardest axis for*every*arm \(base macro\-recall3232–43%43\\%across the two base rows\), so its low scores are a floor, not a regression\. And a correction this revision owes the reader: an earlier draft read the Qwen release as*gaining*on commonsense \(63\.2→75\.863\.2\{\\to\}75\.8\), but the63\.263\.2comparator in Table[6](https://arxiv.org/html/2608.17744#S5.T6)is the*Gpt\-OSS*base; against its own base’s82\.482\.4on the same lane, the Qwen release is−6\.6\-6\.6on commonsense, and no fine\-tune beats its own base on any axis of Table[6](https://arxiv.org/html/2608.17744#S5.T6)\. The Qwen release’s logic fallback is46%46\\%, and the repaired Gpt\-OSS release’s higher still \(51%51\\%\)\.
Table 6:Per\-domain results on the Greek think lane; here and in every table,↑\\uparrowmarks metrics where higher is better and↓\\downarrowwhere lower is better \(math = the two math slices, commonsense = HellaSwag\+Winogrande, logic = ProofWriter macro\-recall\)\. Rows are grouped by family, each release indented under its own base, so every legitimate accuracy delta is a within\-block comparison and the cross\-base reading \(the one an earlier draft of this paper fell for\) is structurally discouraged\. Every release now carries its own base row: the NemotronH base dump is the same vintage as the Qwen base dump, and the Nemotron\-3\.5 base lane, absent until this revision, was generated with the identical lane settings and scored with the same scorer as every other row\. The same base is also measured on the NLU retention suite \(Table[14](https://arxiv.org/html/2608.17744#S11.T14), Greek macro57\.557\.5\), a direct\-mode instrument whose numbers are not comparable to this think\-lane table\. The Nano release also appears in the retention suite \(Table[13](https://arxiv.org/html/2608.17744#S11.T13)\), and its fallback shape is the mirror of Gpt\-OSS’s: negligible on math and commonsense \(1\.71\.7/1\.8%1\.8\\%\) but39\.9%39\.9\\%on logic, so its9\.89\.8logic macro\-recall is substantially a format floor on the one domain where its answer form breaks\. Accuracy and fallback move together: every release keeps the base’s domain ordering, and the Sophea\-OSS format\-repair dose pulls the commonsense fallback back toward math’s level \(83\.5→25\.783\.5\{\\to\}25\.7\) while cutting logic’s by a third \(77\.4→50\.977\.4\{\\to\}50\.9\)\. The pre\-repair row is reference only; the release is the repaired arm\. Conditioning on rows that emit the requested answer line \(excluding the fallback\-scored path\) shrinks the apparent deficits sharply: the Qwen release reads95\.8/78\.8/39\.595\.8/78\.8/39\.5against its base’s96\.0/82\.8/42\.796\.0/82\.8/42\.7, and the same condition makes Gpt\-OSS pre\-repair74\.6→92\.274\.6\\to 92\.2/53\.7→60\.253\.7\\to 60\.2/25\.2→36\.525\.2\\to 36\.5and Sophea\-OSS\-v178\.6→94\.478\.6\\to 94\.4/53\.3→58\.253\.3\\to 58\.2/26\.5→30\.026\.5\\to 30\.0\(math/commonsense/logic\), so a substantial share of every raw gap is format compliance, not reasoning\.One more observational claim we believed and then had to withdraw belongs here, because it is the question every reader asks next:*is Greek reasoning worse reasoning?*An early run of the fine\-tune on Greek items scored−17\.5\-17\.5pp against the same items in English, which reads seductively as “the model thinks better in English\.” The controlled version separates the two: run the*same*items, force the*same*answer language, vary only the trace language \(§[8](https://arxiv.org/html/2608.17744#S8)’s answer\-format control is the same trick in miniature\)\. The language effect collapses to\+1\.4\+1\.4pp \(0\.65σ0\.65\\sigma\): statistically nothing\. The−17\.5\-17\.5pp was selection \(a different, easier question mix in the English lane\) expressing itself as a language effect, and it is the largest retelling\-of\-a\-difference the project ever wrote into a slide before the control\.
Table 7:Language\-matching across the three families: all four released checkpoints, the two measurable bases, and the one\-directional reference arm\.*Greek fid\.*: Greek\-trace fidelity on the Greek benchmark; both bases sit at exactly0\.00\.0\(0/5,1560/5\{,\}156traces reach ratio0\.90\.9\), and all four language\-matched checkpoints land at the same level \(97\.497\.4–98\.1%98\.1\\%\)\.*EN ctrl*: English\-control compliance,100%100\\%for every arm\.*Switches*: in\-question language switches per100100sentences on the Greek lane; the bases switch16\.416\.4\(Qwen\) and9\.79\.7\(Gpt\-OSS\) times, every fine\-tuned arm \(the one\-directional reference included\) zero\. The base fidelity and switch cells are one instrument run: both base dumps rescored with the current scorer on the same day \(an earlier draft printed19\.019\.0for the Qwen base from an earlier dump vintage\)\.*Leak*: answer\-channel leak, the one place families differ \(10\.3%10\.3\\%Sophea\-OSS\-v1,5\.2%5\.2\\%Lightning,3\.5%3\.5\\%Qwen,0\.0%0\.0\\%Nano, the only arm at zero; base leak is measured on the English control, fine\-tuned leak on the Greek think lane\)\.†Arms of the earlier one\-directional recipe, shown for reference \(a different recipe, not releases\); the Qwen one\-directional row is the recipe\-evolution comparison: it locks against explicit language*instructions*\(Table[10](https://arxiv.org/html/2608.17744#S10.T10)\), not against English questions\.§Measured on the1,9001\{,\}900\-item paired probe \(99\.3%99\.3\\%English,0\.0%0\.0\\%Greek,0\.7%0\.7\\%too short to score\); this arm was never run on the1,1001\{,\}100\-item control the other EN\-ctrl cells use\.‡Measured on the pre\-repair language\-matched arm: the repair dose adds2%2\\%trace\-less answer\-format rows and does not touch trace language, but the released arm’s own English control has not been generatively re\-run\. The recipe generalises to every family tried; the leak’s size does not\.
### \.2\. Reasoning budget: words fall everywhere it matters, tokens change sign by family
At identical item\-pooled accuracy \(72\.972\.9vs72\.972\.9on the same1,0001\{,\}000\-item probe; the three\-axis strict mean there is77\.277\.2\), the base spends a median1,0101\{,\}010words per trace and1,4541\{,\}454words per*correct*answer; the reasoning\-only fine\-tune spends150150and239239\(Figure[4](https://arxiv.org/html/2608.17744#S5.F4)sets this beside the flat accuracy panel\)\. In*words*, our length unit throughout \(§[3](https://arxiv.org/html/2608.17744#S3)\), the base\-to\-fine\-tune ratio is3\.7×3\.7\\timesfor the Qwen language\-matched release and1\.5×1\.5\\timesfor the NemotronH fine\-tune \(the earlier one\-directional arms are more favourable still:4\.54\.5–5\.1×5\.1\\timesQwen,1\.4×1\.4\\timesGpt\-OSS\)\. But words are not what a deployment pays, and Greek costs2\.32\.3–2\.5×2\.5\\timesthe tokens per word that the bases’ English traces do \(the measured fertility ratios of §[3](https://arxiv.org/html/2608.17744#S3)\)\. Retokenizing every trace on the full benchmark with each family’s own tokenizer, the saving changes sign by family: the Qwen release spends3\.0×\\mathbf\{3\.0\\times\}*fewer*tokens than its base \(median586586vs1,7881\{,\}788\), the NemotronH fine\-tune sits atparity\(638638vs681681,1\.07×1\.07\\times\), and the Gpt\-OSS release spends1\.6×\\mathbf\{1\.6\\times\}*more*\(640640vs396396\): its traces are already slightly longer in words than its terse base’s, and the fertility gap widens the difference\. We therefore split the claim: the reduction in reasoning*effort*\(words\) is real wherever the recipe shortens traces, but the*serving\-cost*saving survives translation into tokens only on Qwen; on Gpt\-OSS the Greek fine\-tune is more expensive to serve than its English\-reasoning base \(Figure[5](https://arxiv.org/html/2608.17744#S5.F5)\)\.
Figure 5:Median trace length in*tokens*\(each family’s own tokenizer,5,1565\{,\}156matched items\), base against the fine\-tuned release\. The word\-level shortening must repay Greek’s2\.32\.3–2\.5×2\.5\\timestoken fertility before it becomes a serving saving: Qwen’s does, NemotronH’s breaks even, Gpt\-OSS’s does not\.We state this as a marginal claim only\. Conditioning on trace length, the base is at least as accurate as the fine\-tune, and*within every arm longer traces are less accurate*\(base82\.5%82\.5\\%under 400 words vs72\.3%72\.3\\%over\)\. Length marks items a model is struggling with, not effort that pays off\. The fine\-tune’s advantage is that it does not enter the long unproductive regime, not that its tokens are worth more\. Both stratifications are endogenous, so no causal claim about length is available from this design\.
### \.3\. Budget discipline
Figure 6:Overrun==trace≥3×\\geq 3\\timesthe median trace*for that item*across arms\. Easy==at least80%80\\%of arms answer correctly\. Cells pool the arms of each column; hard\-item think\-mode rates are compressed by generation\-cap truncation \(§[5](https://arxiv.org/html/2608.17744#S5)\), so the easy row carries the section’s claims\.Measuring degenerate looping directly proved impossible: looping is what*makes*a trace long, so every repetition metric we tried was a length proxy \(§[8](https://arxiv.org/html/2608.17744#S8)\)\. The measurable question is whether a model spends far more than a given item requires\. Letf\(i\)f\(i\)be the fraction of arms answering itemiicorrectly andw~\(i\)\\tilde\{w\}\(i\)the median trace length across arms on that item; an arm overruns oniiwhenw\(i\)≥3w~\(i\)w\(i\)\\geq 3\\,\\tilde\{w\}\(i\)\. Conditioning on the item supplies the control a raw rate lacks\.
The base overruns on98\.0%of easy items, against0\.20\.2–12%12\\%for every fine\-tune \(Figure[6](https://arxiv.org/html/2608.17744#S5.F6)\)\. And its rate is identical on easy and hard items \(98\.098\.0vs98\.498\.4\): it has no representation of question difficulty\. Fine\-tuned arms range1\.91\.9–60×60\\timesbetween the two in*direct*mode, spending more only when the item is harder; think\-mode ratios are compressed by generation\-cap truncation on hard items, which is why the easy\-item*rate*, unaffected by the cap, is the figure this section reports\.
Finding 2\.We find that at equal accuracy the fine\-tune reasons in Greek rather than English and adapts its budget to question difficulty, but the token cost of doing so is family\-dependent in*sign*:3×3\\timesfewer tokens on Qwen, parity on NemotronH,1\.6×1\.6\\timesmore on Gpt\-OSS, because Greek’s2\.32\.3–2\.5×2\.5\\timestoken fertility must be repaid by shortening traces \(§[5](https://arxiv.org/html/2608.17744#S5)\)\. None of these appear in a benchmark mean, and none move across seeds\.
## \. Losses that looked like forgetting
If SFT installs Greek reasoning, what does it remove? The answer sorts into three buckets, two of which are measured here, and the third is the one readers most often conflate with forgetting: the language lock\. That is a capability keyed to the training direction, not a deletion, and its full treatment lives with the pre\-registered E1 design in §[10](https://arxiv.org/html/2608.17744#S10), including Table[10](https://arxiv.org/html/2608.17744#S10.T10)\. For general ability itself, the forgetting question is answered on the Titan\-1 suite in that same section \(Table[13](https://arxiv.org/html/2608.17744#S11.T13)\): flat in both languages on two families, with a−3\.2\-3\.2\-point Greek residual on the format\-repaired Gpt\-OSS release\. This section carries the two remaining appearances of forgetting, both of which dissolve on contact with the right control\.
\(a\) Format compliance degrades, and the recipe decides how much\.Failure to emit the requested answer line rises from12%12\\%\(single\-phase\) to3333–40%40\\%\(two\-phase\) and stays low22–12%12\\%\(reasoning\-only, with seed noise widening that to22–41%41\\%as disclosed in Table[8](https://arxiv.org/html/2608.17744#S7.T8)\)\. The forgotten capability is format compliance, and §[7](https://arxiv.org/html/2608.17744#S7)localises it to the second phase\. It is a recipe choice with a measured mechanism, not forgetting: the language\-matched checkpoints of §[5](https://arxiv.org/html/2608.17744#S5)pay it too, at24%24\\%\(Qwen\) and26%26\\%\(the format\-repaired Gpt\-OSS release;70%70\\%before its repair\) on the Greek lane\.
\(b\) The commonsense loss is not forgetting\.A−3\.0\-3\.0pp commonsense deficit appeared in1212of1212fine\-tuned arms and looked like textbook catastrophic forgetting\. Re\-asking the same items in a constrained answer format reverses it to\+1\.7\+1\.7pp \(§[8](https://arxiv.org/html/2608.17744#S8)\)\. The capability was never lost; only its expression under long\-form generation changed\. We report this because the negative result is the more useful one: an apparent forgetting effect that survives twelve arms can still be an artifact of how the answer was elicited\.
Register control and grammaticality: not lost, and mostly gained\.Two judge\-based probes close the forgetting picture from the fluency side, run identically on every release and its own base \(an LLM judge at temperature00;n=46n\{=\}46register items andn=58n\{=\}58morphosyntax items, small enough that we report counts, not percentages\)\.*Register control*\(produce the requested formal or informal register\) is never lost: the two weakest bases gain it \(Nemotron\-3\.5,37/46→43/4637/46\\to 43/46; NemotronH,40/46→44/4540/46\\to 44/45\), Gpt\-OSS is flat \(38/45→39/4638/45\\to 39/46\), and Qwen dips within small\-nnnoise \(45/46→42/4645/46\\to 42/46\)\.*Grammatical correctness*\(agreement, clitics, and related morphosyntax\) improves on every family, and improves most where the base is weakest: NemotronH13/58→27/5713/58\\to 27/57, Nemotron\-3\.512/58→29/5812/58\\to 29/58, Gpt\-OSS32/57→40/5832/57\\to 40/58, Qwen41/58→42/5841/58\\to 42/58\. One instrument note in this section’s own spirit: the first\-pass Gpt\-OSS numbers were an artifact of a response\-splitting bug that prefixed a stray channel marker to otherwise correct answers; the judge failed them for the prefix, the splitter was fixed, and the fine\-tune’s dumps were re\-judged \(the corrected numbers are the ones above, and the direction of the finding reversed from loss to gain\)\.
Finding 3\.We find that almost nothing the fine\-tune appeared to forget was actually forgotten\. The language lock is conditional on training direction, not a deletion \(full treatment: §[11](https://arxiv.org/html/2608.17744#S11)\); general ability is flat on two families, with a−3\.2\-3\.2\-point Greek residual on the third after its format repair \(Table[13](https://arxiv.org/html/2608.17744#S11.T13)\); the commonsense regression was a format artifact; and the one genuine loss \(answer\-format compliance\) is recipe\-localised and disclosed for the release checkpoints\.
On the fluency side the sign flips outright: register control is retained or gained on every family, and judged grammaticality improves on all four, most where the base is weakest\. What a benchmark calls forgetting is, in this project, almost always something else\. Flat macros are also partly the expected property of a LoRA adapter rather than of our data\[[3](https://arxiv.org/html/2608.17744#bib.bib3)\]; §[11](https://arxiv.org/html/2608.17744#S11)carries that scoping in full, and the Limitations section keeps it LoRA\-conditional on purpose\.
## \. A side experiment: three recipes, and what the second phase costs
This section stands apart from the paper’s main line\. The question it answers \(*how much of the training corpus should be non\-reasoning, and in what order should the halves be shown*\) was settled for our release long before the language\-matching result existed, and none of the main claims depends on it\. It stays in the paper for two reasons: it supplies the mechanism for our answer\-format failure mode \(§[6](https://arxiv.org/html/2608.17744#S6)b\), and it contains the one accuracy effect in the project that survived the noise floor, a result we would have to explain the absence of if we omitted it\. Read it as a controlled detour, not as a load\-bearing section\.
### \.1\. The three recipes, and the trade they make
The corpus has two halves: reasoning rows carrying explicit traces, and∼\\sim5959k non\-reasoning conversational rows\. Three ways to use them, and each fails differently\.
Table 8:*single\-phase*= one pass over both halves;*two\-phase*= reasoning\-only then hybrid;*reasoning\-only*= the reasoning half alone\. Empty\-trace rate is measured in think mode,fallback%in direct mode; means are over all arms of each recipe\. Fallback ranges are over the individual arms of each recipe \(2–12% across the three reasoning\-only arms; 33–40% across the two\-phase arms\); the three seed replicates of §[4](https://arxiv.org/html/2608.17744#S4)widen it further \(3–41% across seeds 42–44, all three of which are among the six phase\-1\-only arms above\), so the fuller picture is 2–41% when seed noise is admitted\.In our runs, single\-phase SFT collapsed the reasoning switch\.Trained in one pass over a corpus that is half non\-reasoning, the model learns to answer directly regardless of the flag: asked to think, it returns an*empty*trace on23\.6%23\.6\\%of items\. This is the cleanest causal result in the line and it is coverage\-independent: it counts empty traces, not answers\.
Two\-phase fixes the switch and breaks something else\.Training reasoning\-only first, then continuing the*same adapter*on the hybrid mix, drives empty traces to00–1\.3%1\.3\\%\. But answer\-format compliance degrades from12%12\\%to3333–40%40\\%fallback, and accuracy does not improve\. The second phase repairs the mode switch at the cost of instruction\-following\.
Phase\-1\-only avoids both, and gives up the direct mode\.Never showing the model the non\-reasoning half yields the best accuracy*and*the best compliance\. At the time this experiment ran, the cost was architectural rather than measured: such a model has only ever been trained to reason, so it has no separately trained direct mode to collapse\. E3 \(§[11](https://arxiv.org/html/2608.17744#S11)\) later measured that cost directly, and found none detectable on direct\-mode NLU\.
### \.2\. The one accuracy effect that survives the floor
Figure 7:Each point is an independently trained arm\. Corpus version varies within both groups\.A single reasoning\-only versus two\-phase comparison \(\+6\.3\+6\.3pp\) sits inside the noise floor and cannot be claimed\. But the distinction separates*fifteen*independently trained arms \(Figure[7](https://arxiv.org/html/2608.17744#S7.F7)\), and across runs that is the correct unit of analysis: reasoning\-only averages73\.673\.6\(n=6n\{=\}6\) against66\.766\.7\(n=9n\{=\}9\), with5252of5454pairwise comparisons favouring it and an exact permutationp=0\.0008p=0\.0008\. On the decontaminated benchmark the effect is\+5\.3\+5\.3pp \(p=0\.0164p=0\.0164\), and on the5,1565\{,\}156\-item benchmark reasoning\-only wins*every axis*\(\+5\.4\+5\.4pp mean\)\.
One confound this design cannot fully exclude: the arms are the project’s historical runs, and corpus version varies within both groups rather than being balanced across them\. Stratifying the permutation by corpus version leaves only three strata with members on both sides and1616valid permutations in total: the observed split ranks second of the sixteen \(p=0\.125p=0\.125, attainable floor0\.06250\.0625\), so the stratified test is supportive but has almost no resolution\. Thep=0\.0008p=0\.0008figure assumes exchangeability across corpus versions; the fact that four versions appear on both sides argues for that assumption qualitatively, but a designed, version\-balanced replication is what would settle it\.
The mechanism is visible infallback%: reasoning\-only arms fail to emit the requested answer line on22–12%12\\%of items, two\-phase arms on3333–40%40\\%\. The wider range in the seed replicates reasoning\-only alone \(3–41% across the three seeds of §[4](https://arxiv.org/html/2608.17744#S4)\) is seed noise, not a recipe effect; an out\-of\-family arm on a much bigger corpus without phase 2 sits between, at 24%\. Training on∼\\sim5959k non\-reasoning rows degrades instruction\-following, and part of what looked like a reasoning regression is a model that still reasons but no longer answers in the requested form\.
The three seed replicates of §[4](https://arxiv.org/html/2608.17744#S4)are themselves three of the six reasoning\-only arms, so the seed spread is represented inside the aggregate rather than hidden from it\. This isQwen only\. For Gpt\-OSS the ordering reverses \(62\.562\.5vs68\.168\.1\) with one run per condition, so it is unestablished there\. Both statements belong in the record: a single A/B is uninterpretable at this variance,*and*the aggregate is significant\.
The side experiment’s own finding\.Removing the non\-reasoning half of the corpus is worth\+6\.9\+6\.9pp across 15 runs \(p=0\.0008p=0\.0008\): the only accuracy effect large and replicated enough to survive the noise floor, and the only one whose mechanism we can point at\. It bears on the main line in exactly one place: a deployment that never needs a direct mode should train reasoning\-only \(§[14](https://arxiv.org/html/2608.17744#S14)\), and that is a deployment choice, not a property of the language results\.
## \. Six ways our instruments lied
The first four of the following each produced a plausible result that we believed, wrote up, and withdrew; the fifth was a small correction caught by audit, and the sixth was caught in\-flight, before its wrong numbers reached a table\. Figure[8](https://arxiv.org/html/2608.17744#S8.F8)draws all four before\-and\-after pairs\.
Figure 8:The four withdrawn findings of this section, drawn: the effect as first believed \(open circle\) against the same quantity after its control \(filled\)\. Three flip sign; the un\-anchored scorer artifact \(\+29\.8\+29\.8pp,18σ18\\sigma, one probe\) collapses entirely: its endpoint is drawn at zero because the prose reports the artifact removed by anchored scoring, not as a measured residual\. Rows are different instruments and lanes, so magnitudes compare within a row, not across rows; the other pairs’ numbers appear in this section’s prose\. The section’s fifth failure \(§[8\.5](https://arxiv.org/html/2608.17744#S8.SS5)\) is a scorer defect rather than an effect\-size withdrawal, so it has no before/after pair to draw\.### \.1\. A scorer that ignores the requested answer line
Our prompts request “\.\.\. write on a new line: The answer is <letter\>”\. Our scorer did not privilege that line; it scanned the whole response and let the last option\-mention win\. A model that states its answer and then explains why the others are wrong is therefore scored on its explanation\. The bias is one\-directional \(verbose arms are penalised, terse arms are not\), and on one probe it produced a\+29\.8\+29\.8pp \(18σ18\\sigma\) artifact favouring the fine\-tune\. Anchoring extraction to the requested line removes it\.*Any benchmark that requests an answer format must score that format first and report how often it was absent\.*
### \.2\. A capability gap that is an artifact of the answer format
Our headline negative result was a−3\.0\-3\.0pp commonsense deficit, present in1212of1212fine\-tuned arms\. Re\-asking the same300300items with a letter\-only prompt reverses it to\+1\.7\+1\.7pp\. The gap exists only when models reason at length, and the claim as stated was withdrawn\. Format must also be chosen per axis: letter\-only is valid for commonsense and invalid for logic, where it drops the base to29\.6%29\.6\\%against a33%33\\%chance baseline\.
### \.3\. Contamination that a standard check does not find
Our logic axis was38\.9%contaminated:175175of450450items shared a 13\-gram with the training pool, while math and commonsense were clean at0%0\\%\. \(The450450here is the*original*logic probe, a hard\-subset sampling of the ProofWriter\-el pool; the544544\-item axis in §[2](https://arxiv.org/html/2608.17744#S2)is a different instrument on the same pool; it is the full draw after removing the782782contaminated items\. The38\.9%38\.9\\%figure is therefore the probe’s contamination rate, and the decontamination cost that left the full pool at544544\.\) The cause is structural \(the benchmark and the training slice were drawn from the same ProofWriter pool\), and the original build script verified contamination for the other sources but not this one, because that pool was assumed eval\-only\. Removing the items moved individual arms by0\.70\.7to22\.222\.2pp, i\.e\.*unevenly*, which is what differential memorisation looks like\. \(Thenn\-gram check used throughout is a surface\-match method of the kind[Ravaut et al\. 2025](https://arxiv.org/html/2608.17744#bib.bib25)survey; its known blind spot is paraphrase, which matters for translated suites, and the Limitations section records that we did not test beyond it\.\)
The check also has to run in*both*languages once the training corpus does: the language\-matched corpus carries the English originals of its training questions, so we ran the same 13\-gram check between its English half \(21,38321\{,\}383–24,50924\{,\}509rows across the two corpus versions\) and both English evaluation sets \(the1,1001\{,\}100\-item GSM8K\-EN control and the paired English probe\)\.Zero rows collide\.
### \.4\. Translating a benchmark with the model family you trained on
To scale the math axis we machine\-translated GSM8K’s test split into Greek, keeping250250human\-translated items \(ILSP’s MGSM\-el set, §[2](https://arxiv.org/html/2608.17744#S2)\) as a validity check\. The check failed for exactly one arm \(Table[9](https://arxiv.org/html/2608.17744#S8.T9)\):
Table 9:The base is∼\\sim5 pp worse on our translations; every fine\-tune is slightly better\.Our training traces and these translations both came from the same commercial model family \(§[2](https://arxiv.org/html/2608.17744#S2)\); the translation model is the same one that generated the mathematics traces\. So the fine\-tunes are adapted to its Greek register and the base is not\. Including the machine\-translated items makes the fine\-tune appear to beat base by0\.60\.6pp; on the human\-translated subset the base leads by1\.11\.1pp, consistent with an independent benchmark\.*If you build a low\-resource benchmark by LLM translation and train on data from the same family, your fine\-tune gains an advantage no contamination check will find: the items are novel, only the register is shared\.*A250250\-item human\-translated control costs almost nothing and caught a3\.1σ3\.1\\sigmaartifact\.
### \.5\. A scorer that cannot read Greek numbers
The fifth failure is in the scorer that produced every accuracy number in this paper, and we found it only when auditing the same code for use as a reinforcement\-learning reward\. Greek, like most of Europe, writes17\.50017\{\.\}500for seventeen\-thousand\-five\-hundred and3,53\{,\}5for three\-point\-five: the separators are the reverse of the English convention\. Our extractor strips commas and calls a float parse, so a model answering114\.200is read as114\.2114\.2and marked wrong\.
On the released Qwen checkpoint’s math axis, six answers are written in Greek thousands form andfive of them are scored wrong while being right\(114,200114\{,\}200,17,50017\{,\}500,43,20043\{,\}200,7,3007\{,\}300,1,8001\{,\}800\)\. The mirror case exists and is worse in kind: a decimal comma such as3,53\{,\}5has its separator stripped and becomes3535, which can score a wrong answer as correct\.
The size of the effect on this paper is small:55of1,1001\{,\}100anchored math rows,0\.450\.45pp on one axis, inside every noise floor we report, and no number in this paper changes\. We report it because the*shape*of the error is the point and generalises past us: the defect is invisible to an English\-language test suite, it is systematic rather than random, and it penalises exactly the answers written in the target language’s own convention\. A benchmark built for a non\-English language needs its numeric normalisation tested in that language’s conventions, in both directions, or it will quietly score fluency as failure\.*Locale is part of the instrument\.*
### \.6\. A default that silently changed which lane we measured
The sixth entry was caught while evaluating the RLVR round \(§[15](https://arxiv.org/html/2608.17744#S15)\), by the control this section keeps recommending: a same\-day baseline\. The fresh baseline read1\.1%1\.1\\%fallback where the frozen number was24%24\\%, too large for noise in either direction\. Rescoring the*original*dump with the current scorer reproduced24\.1%24\.1\\%exactly, acquitting the scorer; the generations themselves differed\. The cause was a generation\-harness default: without an explicit flag, the chat template rendered with the reasoning trace*disabled*, so four GPUs spent four hours generating the direct lane under a filename that said think lane\. Nothing crashed, nothing warned; the numbers were internally consistent and wrong\. Every mislabeled dump was discarded, the flag is now part of the instrument definition next to the locale rule above, and the incident is why Table[16](https://arxiv.org/html/2608.17744#S15.T16)states its*before*column’s provenance explicitly\. The general form:*a default that selects which condition you measure is not a default, it is a hidden factor*, and only a same\-day regeneration of a known quantity will catch it, because every downstream number is plausible\.
Finding 4\.Five controls, five withdrawn or corrected findings, and a sixth failure caught in\-flight by the same discipline \(§[8\.6](https://arxiv.org/html/2608.17744#S8.SS6)\)\. Each original claim was observational or single\-condition, and each agreed with what we expected, which is why it survived review until the control was run\. The fifth was found in the scorer itself, and only because we re\-read it for a different purpose \(§[8\.5](https://arxiv.org/html/2608.17744#S8.SS5)\): an instrument can be wrong for a whole language and still look right on every English test\.
## \. A metric needs a control, not a normalisation
We tried three definitions of degenerate looping\. All were length proxies, with\|corr\(words,metric\)\|\|\\mathrm\{corr\}\(\\text\{words\},\\text\{metric\}\)\|of0\.440\.44–0\.850\.85for a per\-token rate and0\.860\.86–0\.950\.95for a fixed\-window rate on the arms whose traces are shorter than the window\. Normalising by length does not fix a metric that length causes; the fix is a comparison in which length is held constant by design, which is what §[5](https://arxiv.org/html/2608.17744#S5)does by conditioning on the item\.
We therefore gate every behavioural metric: any candidate correlating\|r\|≥0\.6\|r\|\\geq 0\.6with trace length is redefined or dropped, never reported with a caveat\. The gate removed three of our seven original dimensions, including a “the fine\-tune loops29×29\\timesless” claim that was pure length artifact\.
The measured consequence is worth stating once, because it is asymmetric in a way no length proxy captures\. Applying a repetition penalty suppresses the degenerate loops in both the base and the fine\-tune: at*zero*cost to the base \(−0\.4\-0\.4pp within the noise floor\) and at a−9\.7\-9\.7pp cost to the fine\-tune\. The base loops*when it has nothing to say*; the fine\-tune loops*as part of how it reasons*: its repeated spans are load\-bearing\. Removing them does not clean up its style; it removes part of its argument\. The asymmetric price of the same constraint is the sharpest evidence we have that degeneration means something different in the two models\.
## \. Fixing the lock: train on matched language pairs
The lock of §[5](https://arxiv.org/html/2608.17744#S5)is not a property of Greek reasoning SFT as such\. It is a property of*training the reasoning language in one direction only*, and it lives in the instruction channel, not in the default: the one\-directional arms still reason in English when the question is English \(Table[12](https://arxiv.org/html/2608.17744#S10.T12)\), and the locked Qwen arm ignores an explicit instruction to switch \(0/1,0000/1\{,\}000\), a severity that is family\-dependent under the same recipe \(the Gpt\-OSS one\-directional arm stays95%95\\%steerable, §[13](https://arxiv.org/html/2608.17744#S13)\)\. A checkpoint re\-trained onlanguage\-matched pairskeeps the question\-following default on both lanes for every family we trained, and re\-opens the instructed override on*two of the four*released checkpoints \(44\.844\.8–62\.5%62\.5\\%compliance on Qwen and Gpt\-OSS;0\.0%0\.0\\%on both Nemotron arms, §[10\.1](https://arxiv.org/html/2608.17744#S10.SS1)\)\. Figure[9](https://arxiv.org/html/2608.17744#S10.F9)draws the default as trace\-language composition per lane\. This section reports that result self\-contained: it is the answer to the first of three questions we pre\-registered \(the other two are answered in §[11](https://arxiv.org/html/2608.17744#S11), each by an evaluation whose design was fixed before the result\), and it changed the paper’s direction\.
Figure 9:Trace\-language composition per lane, Qwen line: the share of traces that are Greek \(character ratio≥0\.9\\geq 0\.9\), mixed, or English \(≤0\.1\\leq 0\.1\), on the same instrument as Table[7](https://arxiv.org/html/2608.17744#S5.T7)’s fidelity column\. Greek\-question rows are the full5,1565\{,\}156\-item benchmark; English\-question rows are the1,1001\{,\}100\-item control \(base\) and the1,9001\{,\}900\-item probe \(matched\)\. Two honesty notes drawn rather than hidden: the base’s Greek\-question traces are*not*mostly pure English: only4\.2%4\.2\\%are; the mass is mixed script with English scaffolding \(median ratio0\.330\.33, §[5](https://arxiv.org/html/2608.17744#S5)\); and the one\-directional arm’s Greek\-question lane decomposes as98\.798\.7Greek /1\.31\.3mixed /0\.00\.0English on the same instrument \(n=5,156n\{=\}5\{,\}156, uninstructed\); its English\-question lane, generated later on the same1,9001\{,\}900\-item probe, measures99\.3%99\.3\\%English \(Table[7](https://arxiv.org/html/2608.17744#S5.T7)\)\. Uninstructed defaults only; the instructed override is Table[10](https://arxiv.org/html/2608.17744#S10.T10)\.E1: was English reasoning lost, or merely not elicited? Answered in part: not the capability, and not the recipe alone; the*direction*of training, with a family\-dependent severity we cannot yet explain \(the Gpt\-OSS arm under the same one\-directional recipe stays95%95\\%steerable, §[13](https://arxiv.org/html/2608.17744#S13)\)\.The one\-directional fine\-tune*looks*completely locked, and it stays locked when you look harder\. Instructed explicitly, on the same1,0001\{,\}000items:
Table 10:The one\-directional fine\-tune’s traces are identical under both instructions, and it does not matter how the instruction is phrased\. Rows classified as neither/mixed scripts \(28%28\\%of the base under the Greek instruction\) are omitted, so rows need not sum to100100\. The*matched ft*rows, measured after the language\-matched re\-training of §[10](https://arxiv.org/html/2608.17744#S10), show the override partially returning; its mixed share under the English instruction is30\.4%30\.4\\%\.No prompt we tried recovers the English, so read on this arm alone, the capability looks gone\. It is not gone; the cause is the one\-directional recipe, as this section opened\. A checkpoint re\-trained onlanguage\-matched pairs\(each Greek problem and trace kept beside its English original and trace, gated so a trace that drifts languages never enters training\) reasons in English on100%of1,9001\{,\}900English questions \(median Greek\-character ratio0\.0000\.000, held across mathematics, science, medical and general domains\), while the English\-accuracy cost is−2\.2\-2\.2pp \(−2\.46σ\-2\.46\\sigma\), half of which is answer\-format fallback rather than wrong reasoning\. The Greek side pays more: on the full5,1565\{,\}156\-item benchmark the language\-matched checkpoint scores73\.773\.7against the base’s80\.680\.6, a−6\.9\-6\.9pp raw\-lane cost \(this is the raw\-lane reading; the best\-of\-1515arm reads−0\.7\-0\.7on the1,0001\{,\}000\-item probe under answer\-format compliance, §[7](https://arxiv.org/html/2608.17744#S7)\)\. That figure sits inside the7\.77\.7pp seed floor measured on this family and decoding \(§[4](https://arxiv.org/html/2608.17744#S4)\), so we report it as a measured single\-run cost and explicitly not as a property of the recipe\. So the capability was never destroyed by teaching Greek; it was suppressed in the instruction channel \(on the families where it returns at all, §[10\.1](https://arxiv.org/html/2608.17744#S10.SS1)\) by a recipe that targeted a single output language, while the question\-following default survived on the recipe’s sibling arms \(Table[12](https://arxiv.org/html/2608.17744#S10.T12)\)\. Matching the language of the training pair to the language of the question keeps that default on every family, and re\-opens the instruction channel on two of the four \(§[10\.1](https://arxiv.org/html/2608.17744#S10.SS1)\)\. Beyond the default, the explicit override \(the capability whose loss Table[10](https://arxiv.org/html/2608.17744#S10.T10)documents\) also returns, partially: re\-running the probe that produced0/1,0000/1\{,\}000on the released language\-matched checkpoints, an instruction to reason in English on a Greek question is now obeyed on44\.8%44\.8\\%of items \(Qwen;62\.5%62\.5\\%on Gpt\-OSS\), with24\.8%24\.8\\%still fully Greek and the rest mixed\-script, and the reverse instruction \(reason in Greek on an English question,n=1,100n\{=\}1\{,\}100\) yields Greek traces on83\.7%83\.7\\%/93\.3%93\.3\\%\(the reverse lane of the same probe; Table[10](https://arxiv.org/html/2608.17744#S10.T10)carries the Greek\-question rows\)\. Steerability is restored in kind, not in full, and, as §[10\.1](https://arxiv.org/html/2608.17744#S10.SS1)shows, not on every family\. Two readings we cannot exclude: partial compliance may be no more than the matched corpus putting English traces back in\-support \(a distribution shift rather than restored instruction\-following\), and the family ordering \(62\.5%62\.5\\%over44\.8%44\.8\\%\) reproduces the families’ steerability gap under the one\-directional recipe \(95%95\\%vs0%0\\%, §[13](https://arxiv.org/html/2608.17744#S13)\), so part of the compliance is plausibly the family’s, not the recipe’s\. The word the paper is allowed to use is thereforelanguage\-matching, not language\-locking: the reasoning language follows the question\.
### \.1\. The instruction channel re\-opens on two families, not four
Running the identical probe, scorer and thresholds on the two Nemotron language\-matched releases completes the picture, and it is not the one the two\-family result suggested:
Table 11:Instructed\-override compliance on the five released checkpoints: the share of traces in the instructed language when the instruction contradicts the question \(n=1,000n\{=\}1\{,\}000Greek\-question andn=1,100n\{=\}1\{,\}100English\-question items; same scorer as Table[10](https://arxiv.org/html/2608.17744#S10.T10)\)\. Every release obeys “switch to Greek”; only the Qwen line and Gpt\-OSS obey “switch to English”, and the RLVR refinement widens Qwen’s opening \(44\.8→53\.9%44\.8\\to 53\.9\\%, §[15\.1](https://arxiv.org/html/2608.17744#S15.SS1)\)\. Two instrument notes, both checked: the Nemotron dumps do not separate trace from answer, so the mandatory Greek answer line falls inside the scored text: re\-scoring with that line stripped leaves both Nemotron arms at0\.0%0\.0\\%\(the Qwen control moves44\.8→49\.5%44\.8\\to 49\.5\\%, the expected direction\); and the Nemotron arms return55–9%9\\%of rows too short to score against Qwen’s0%0\\%, consistent with the low reasoning ceiling reported in §[13](https://arxiv.org/html/2608.17744#S13)\.So the instruction channel is*not*a property the language\-matched recipe restores\. It restores the question\-following default on every family we trained \(Table[7](https://arxiv.org/html/2608.17744#S5.T7)\), and re\-opens the override on two of four checkpoints\. The asymmetry is uniform in one direction and family\-dependent in the other: every release complies with an instruction to reason in Greek \(83\.783\.7–93\.3%93\.3\\%\), none complies fully with an instruction to reason in English, and the two Nemotron arms do not comply at all\. The split tracks neither architecture \(the two Nemotron generations differ from each other in reasoning ceiling but agree here\) nor recipe \(identical\)\. What we can now say \(from the pre\-registered RLVR round of §[15](https://arxiv.org/html/2608.17744#S15)\) is that the channel*responds to a verifiable reward*: an override\-obedience term moves compliance\+9\.1\+9\.1pp on this family with a flat random\-reward control and no cost on any held direction, though short of the pre\-registered trainability bar \(§[15\.1](https://arxiv.org/html/2608.17744#S15.SS1)\)\. Why the channel sits open on two families and shut on two others after identical SFT remains the open question; whether it moves under a reward at all no longer is\.
The practical consequence is the part a deployment can act on\. Trace\-language*steerability*is not a property this recipe confers, and it is not predictable from the axes a model card publishes: the four checkpoints here share a corpus, a recipe, an adapter configuration and a serving budget, agree on every default\-behaviour metric we report, and still split62\.5/44\.8/0/062\.5/44\.8/0/0on this one\.A deployment that needs the trace language to be steerable at inference \(a bilingual support desk, a reviewer\-facing audit mode, any product where the operator overrides the user’s language\) must test this axis per checkpoint, and must not infer it from the recipe, the family, or the question\-following behaviour that this paper otherwise shows generalising\.The probe costs one instructed pass over a benchmark that already exists \(n=1,000n\{=\}1\{,\}000per direction here\), which puts it in the same class as the seed control of §[4](https://arxiv.org/html/2608.17744#S4): cheap, and it changes a claim we would otherwise have made\. We add it to the supported column of Table[15](https://arxiv.org/html/2608.17744#S14.T15)on those terms\.
The honest reading of Table[10](https://arxiv.org/html/2608.17744#S10.T10)is therefore not “the model forgot English” but “a model that targets a single output language learns to ignore explicit language instructions\.” Note the base is partially locked too \(told to reason in Greek it still produces English72%72\\%of the time\), so asymmetric locking is not unique to fine\-tuning; what is unique is how firm ours became\.
The finding is not Qwen\-specific, and it is not specific to the language\-matched checkpoint\. Running the same1,1001\{,\}100\-item English control \(the GSM8K originals of the Greek math axis, anchored\-extraction scoring, §[8](https://arxiv.org/html/2608.17744#S8)\) on the release candidates of all three families, every fine\-tuned arm still reasons in English on100%100\\%of English questions \(median Greek\-character ratio0\.000\.00\), at\+0\.6\+0\.6to\+2\.2\+2\.2pp against base for the reasoning\-recipe arms; the matched\-recipe rows stand at\+0\.4\+0\.4\(Qwen\) and−3\.6\-3\.6\(Gpt\-OSS\) against their own bases, with the Gpt\-OSS English retention since re\-measured at\+1\.0\+1\.0macro against base \(Table[13](https://arxiv.org/html/2608.17744#S11.T13)\):
Table 12:English questions get English traces from every arm measured\. The fine\-tunes in the first three rows are the dual\-mode / reasoning\-recipe checkpoints \(§[7](https://arxiv.org/html/2608.17744#S7)\), kept deliberately: they are the recipe\-class evidence that one\-directional training does not lock English*questions*\. The last two rows are the language\-matched checkpoints: the released Qwen checkpoint, re\-run on this exact control \(94\.494\.4,\+0\.4\+0\.4over its base,100%100\\%English traces, consistent with its1,9001\{,\}900\-item probe above\), and the Gpt\-OSS language\-matched arm evaluated after merging \(the pre\-repair arm; the released, format\-repaired checkpoint’s control has not been generatively re\-run, Table[7](https://arxiv.org/html/2608.17744#S5.T7)\)\. Together the rows confirm the language\-matching result is not Qwen\-specific; none of this retests the hard one\-directional lock of Table[10](https://arxiv.org/html/2608.17744#S10.T10), which remains a property of training in a single output direction\.A question the printed numbers force: on our printed axes the one\-directional fine\-tunes match or beat the matched checkpoint: higher Greek\-trace fidelity \(98\.798\.7vs97\.9897\.98\), the same100%100\\%English\-on\-English default \(theirs measured on sibling arms of the same recipe, Table[12](https://arxiv.org/html/2608.17744#S10.T12); no single one\-directional arm carries all three numbers at once\), and no−6\.9\-6\.9print\. What they lack is the instruction channel: the override probe reads0/1,0000/1\{,\}000on the one\-directional arm and44\.8%44\.8\\%English compliance on the matched checkpoint \(62\.5%62\.5\\%on the Gpt\-OSS release; Table[10](https://arxiv.org/html/2608.17744#S10.T10)\)\. We release the matched checkpoints as the headline because default behaviour and instructability are different axes: the matched recipe is the only one measured to restore the default on every family, and the only one under which the override returns at all, though on two of four checkpoints, not four \(Table[11](https://arxiv.org/html/2608.17744#S10.T11)\)\. The release rationale therefore stands as “defaults kept everywhere, overrides re\-opened on two families”: measured, no longer a hedge, and no longer stated as a property of the recipe alone\.
## \. Two pre\-registered questions, and how they closed
The language\-matching result of §[10](https://arxiv.org/html/2608.17744#S10)answered the first of the three questions we pre\-registered\. The other two closed since, each by a cheap evaluation whose design was fixed before the result existed; we state each design first and its answer second, so the results read as a test rather than a story fitted afterwards\.
E2: Did Greek reasoning SFT damage general ability, in either language? Answered: no on the earlier recipe, with one repairable exception on the language\-matched recipe\.\(One prior frames the null: LoRA is documented to forget less than full fine\-tuning at matched target gain\[[3](https://arxiv.org/html/2608.17744#bib.bib3)\], so flat macros are the expected case, not a surprise; reported anyway, because a 35B MoE at rank 32 on a translated suite is a different setting from theirs\.\) The corpus carries5,2115\{,\}211English rows precisely as replay, and the risk on the Greek side is subtler: a model taught to reason at length may lose the short, direct competence that general benchmarks measure\. The instrument is fixed by the data, not chosen for convenience\. Every arm’s non\-reasoning half*is*theSophea\-Titan\-1mix \(§[2](https://arxiv.org/html/2608.17744#S2)\), so the retention question has to be asked on the suite that model was released against, or the numbers compare to nothing: nine frozen Greek benchmarks \(GreekMMLU, MMLU\-el, HellaSwag\-el, ARC\-Easy/Challenge\-el, Belebele\-el, Winogrande\-el, TruthfulQA\-el, Medical\-MCQA\-el\) and five English\-retention benchmarks \(MMLU, HellaSwag, ARC\-Easy/Challenge, Winogrande\), all scored by log\-likelihood with no generation involved\. Two macros, deliberately not averaged into one: the Greek macro answers whether reasoning SFT cost general Greek ability, the English macro whether it cost English\.
Table 13:Forgetting on the Titan\-1 suite\. Top: Gpt\-OSS on the nine Greek non\-reasoning benchmarks, base against the language\-matched fine\-tune, before and after the format\-repair dose: the language\-matched fine\-tune initially costs−7\.3\-7\.3points, and the repair dose recovers4\.14\.1of them, so the residual is−3\.2\-3\.2not zero\. Below: the macro deltas this paper reports per family, fine\-tuned arm vs its own base;the format\-repaired Gpt\-OSS is the fine\-tuned arm we stand behind\. Qwen is flat in both languages; Nano*gains*Greek \(\+3\.8\) against the family’s low 0\.49 Nano base \(mostly catch\-up, not forgetting\); Lightning is read against its*own*base, measured separately \(Greek macro 57\.5, well above Nano’s 48\.6\), and gains \+1\.7; an earlier \+10\.6 reading against the shared Nano base is superseded by that measurement\. Per benchmark against binomial standard error; a macro delta is a direction, not a test\.†On English the pre\-repair language\-matched Gpt\-OSS lost−7\.7\-7\.7points \(75\.7→68\.075\.7\\to 68\.0\); re\-measured on the repaired release, the English macro is76\.776\.7,\+1\.0\+1\.0*above*base: the repair dose recovered both lanes, so the pre\-repair loss was format behaviour throughout\. Macro deltas are computed on unrounded macros; Table[14](https://arxiv.org/html/2608.17744#S11.T14)prints one decimal, so its Qwen columns round to75\.7→75\.675\.7\{\\to\}75\.6Greek /85\.1→85\.285\.1\{\\to\}85\.2English\.Table 14:Every benchmark behind the macros of Table[13](https://arxiv.org/html/2608.17744#S11.T13)\(Titan\-1 suite, non\-reasoning mode; accuracy %\)\. Qwen*ft*is Sophea\-Qwen3\.6\-v1 \(language\-matched\); Gpt\-OSS*ft*is Sophea\-OSS\-v1, the format\-repaired release \(its pre\-repair intermediate is in Table[13](https://arxiv.org/html/2608.17744#S11.T13)\); Nano ft is Sophea\-Nemo\-3\-Nano\-v1, the language\-matched Nano release; Lightning ft is Sophea\-Nemo\-3\.5\-Lightning\-v1 \(language\-matched\); the two Nemotron generations share the same 31\.6B / 6\-of\-128 routing profile \(Table[1](https://arxiv.org/html/2608.17744#S2.T1)\) and each is read against its own base column\. \(The earlier one\-directional recipe arm is reported only in §[13](https://arxiv.org/html/2608.17744#S13)’s recipe history, not as a release\.\) The per\-benchmark view localises the Gpt\-OSS story: before the repair the loss concentrated on the instruction\-format\-heavy reading benchmarks \(Belebele\-el−17\.7\-17\.7, ARC\-Challenge−13\.1\-13\.1el /−19\.1\-19\.1en, MMLU\-en−16\.0\-16\.0\) while HellaSwag and Winogrande*gained*in both languages, and the repair dose recovers most where the loss was format \(Belebele\-el regains\+13\.0\+13\.0of the17\.717\.7\)\. English retention on the released Gpt\-OSS checkpoint recovers to\+1\.0\+1\.0above its base; Lightning retains English within1\.11\.1points of its own base\.Figure 10:Every per\-benchmark retention delta behind Table[14](https://arxiv.org/html/2608.17744#S11.T14): fine\-tuned release minus*its own*base \(Lightning against the Lightning base; Sophea\-OSS\-v1 is the format\-repaired release\), Titan\-1 suite, non\-reasoning mode\. Per\-benchmark binomial sigma applies and a delta is a direction, not a test \(Table[13](https://arxiv.org/html/2608.17744#S11.T13)\); the value is the pattern: the Qwen column is near\-white in both languages, the Sophea\-OSS\-v1 residual concentrates on the knowledge\-heavy benchmarks \(MMLU\-el−10\.1\-10\.1\) while HellaSwag gains in both languages on every family, and MMLU is the largest English loss for all three non\-Qwen releases\.Table[13](https://arxiv.org/html/2608.17744#S11.T13)reports the release reasoning models this paper stands behind \(Table[14](https://arxiv.org/html/2608.17744#S11.T14)opens every macro into its per\-benchmark readings; Figure[10](https://arxiv.org/html/2608.17744#S11.F10)draws the same deltas as one map\)\. A reader comparing the*base*columns against the numbers the labs publish for the same checkpoints should expect small offsets, on the order of±1\\pm 1–22points: published tables come from different evaluation stacks: serving engine, prompt template, few\-shot count, sampling parameters \(temperature, top\-pp\) where generation is involved, and answer\-extraction rules\. None of those differences is a property of the model\. Every arm in these tables is scored by the same harness under the same settings, so the columns are internally comparable; it is the base\-to\-fine\-tune*delta*, not the absolute level, that this section’s claims rest on\. Sophea\-OSS\-v1 is the column that matters\. Sophea\-Qwen3\.6\-v1 is flat to a tenth of a point in both languages\. On Sophea\-OSS\-v1 the language\-matched fine\-tune is not uniformly free: it costs−7\.3\-7\.3points Greek and−7\.7\-7\.7English \(macro75\.7→68\.075\.7\\to 68\.0\)*in both reasoning and direct modes*, with a70%70\\%answer\-fallback rate\. Adding a format\-repair dose \(the identical mix plus a2%2\\%dose of trace\-less anchored answer\-closing twins\) recovers4\.14\.1of the Greek points and collapses fallback from70%70\\%to26%26\\%on the full benchmark \(per\-domain in Table[6](https://arxiv.org/html/2608.17744#S5.T6)\), so the Sophea\-OSS\-v1 deficit is format\-closing behaviour, fixable by data, not a capability the fine\-tune destroys\. We therefore releasethe format\-repaired Gpt\-OSS as Sophea\-OSS\-v1; the cost that survives is−3\.2\-3\.2Greek\. English retention on the released checkpoint, re\-measured on the same five benchmarks, reads76\.776\.7\(\+1\.0\+1\.0*above*its base\), so the pre\-repair−7\.7\-7\.7was the same format\-closing behaviour on the English lane, and the Greek\-side repair dose recovered both\. The replay did its job on Sophea\-Qwen3\.6\-v1 and Sophea\-Nemo\-3\-Nano\-v1, and the language lock in E1 is a preference, not damage; the single family\-specific cost is real but repairable\.
Register and grammar, probed directly\.Two small judge\-scored probes ask what the NLU macros cannot: does the fine\-tune still switch address register on request \(the formal plural\-of\-politeness vs the informal singular;4646items spanning single\-turn, rewrite and mid\-conversation switches\), and is its free\-form Greek grammatical \(gender/number/case agreement, aspect, voice/mood, clitic placement;5858items\)? Register control survives fine\-tuning in every family and improves where the base was weakest \(the two Nemotron bases go40/4640/46and37/4637/46to44/4544/45and43/4643/46; Qwen dips45→4245\\to 42, Gpt\-OSS is flat at39/4639/46\)\. Grammaticality roughly*doubles*on both Nemotron fine\-tunes \(13/58→2713/58\\to 27and12/58→2912/58\\to 29, driven by the agreement axis\), is flat on Qwen \(41→4241\\to 42\), and improves on Gpt\-OSS \(32→4032\\to 40\)\. The Gpt\-OSS cell also demonstrates why these probes need adversarial reading: its first\-pass score was23/5823/58, a spurious regression caused by the same channel\-marker behaviour documented above: the fine\-tune prefixes its text with a bare channel marker, the judge read the marker as ungrammatical Greek, and stripping it flipped the verdict from “worst fine\-tune” to “above base”\. Atn=46n\{=\}46/5858these are counts, not rates, and the scorer is itself an LLM judge \(temperature00\), so we report them as directional evidence only: the behavioural shift this paper documents costs neither politeness control nor grammatical Greek in any family\.
E3: Does the non\-reasoning mode still work? Answered: yes; dropping the direct half costs nothing measurable there\.The direct half exists to preserve that mode, its removal is our largest measured accuracy effect, and every other number in this paper comes from reasoning benchmarks, so the design was fixed in advance: run the Greek NLU benchmark \(instrument \(v\), §[2](https://arxiv.org/html/2608.17744#S2)\) in direct mode, no reasoning requested, acrossBase,Reasoning\(which never saw the direct half\) andTwo\-Phase\(which did\)\. This was the one place where dropping phase 2 should*cost*something\. It does not: on strict scoring Qwen reads0\.6800\.680base,0\.6830\.683reasoning\-only,0\.6960\.696two\-phase \(a gap inside the seed floor\), and on Gpt\-OSS the reasoning\-only arm sits at base level \(−1\.6\-1\.6pp\) while*two\-phase*is the only arm that degrades \(−9\.0\-9\.0pp strict, and the one format break: its direct\-mode outputs carry English reasoning prose the strict parser rejects\)\. The release checkpoints were then re\-run on the Titan\-1 suite in the same mode: Qwen flat \(−0\.1\-0\.1\), Nemotron\-3\.5\+1\.7\+1\.7against its own base \(an interim\+10\.6\+10\.6reading, taken against the shared Nano base before the Lightning base was measured, is superseded\), and pre\-repair Gpt\-OSS−7\.3\-7\.3: the same−7\.3\-7\.3as its think mode, so that family’s deficit is mode\-independent, exactly what the format\-repair reading of Table[13](https://arxiv.org/html/2608.17744#S11.T13)predicts\. Two by\-products belong in the record\. The<think\>\-carrier families have a clean off switch: zero unrequested traces in9,7519\{,\}751direct\-mode generations\. The Gpt\-OSS*base*has no off switch at all \(it opens its analysis channel on100%100\\%of rows even with reasoning effort set to none\), and neither of its fine\-tunes installed a switch the base never had\.
Why these designs\.Each is decidable by evaluation alone, needs no retraining, and would change a sentence this paper commits to\. \(E1, the question that recast the goal from locking to matching, is answered in §[10](https://arxiv.org/html/2608.17744#S10)\.\) E2 closed the forgetting question: general ability was flat or gained on Sophea\-Qwen3\.6\-v1 and Sophea\-Nemo\-3\-Nano\-v1, and the one release that lost ground \(Sophea\-OSS\-v1\) was shown to lose it to format\-closing behaviour and to recover under a format\-repair dose, not to a destroyed capability\. E3 closed the direct\-mode question the same way: the design was fixed while either outcome was still possible, and the answer \(dropping the direct half costs nothing measurable on the non\-reasoning mode\) landed on the side that strengthens §[14](https://arxiv.org/html/2608.17744#S14)rather than the side we could not have walked back\.
## \. Per domain: indistinguishable on accuracy, not on cost
Figure 11:Left: accuracy per axis on the 5,156\-item benchmark for the*Qwen recipe arms*\(the cross\-family releases are Table[6](https://arxiv.org/html/2608.17744#S5.T6)\), with the seed\-to\-seed noise floor shaded around the Qwen base\. Right: the same arms’ cost in*words*per correct answer \(token\-denominated cost is Figure[5](https://arxiv.org/html/2608.17744#S5.F5)\)\. Math uses the 250 human\-translated items only \(§[8](https://arxiv.org/html/2608.17744#S8)\); logic is macro\-recall \(§[3](https://arxiv.org/html/2608.17744#S3)\)\.Figure[11](https://arxiv.org/html/2608.17744#S12.F11)is deliberately not a leaderboard\. At a 7\.7 pp seed range, naming a per\-domain winner selects the top of a noisy draw, and a rerun would name someone else; the shaded band makes that visible rather than leaving it to a footnote\. Read that way it says two things\.
On accuracy, no per\-domain winner is readable against the floor\.Math 87\.6–95\.6, commonsense 70\.7–82\.3, logic 40\.5–46\.3: spreads of 8\.0, 11\.6 and 5\.8 pp against a 7\.7 pp seed range, two of them slightly wider than the range itself\. Choosing a model per domain on these numbers is not supported by this evidence\.
On cost, the arms are not close\.1,352*words*per correct answer for the base against 268–294 for the reasoning\-only fine\-tunes: a 4\.6–5\.0×\\timesdifference, far outside anything seeds do, though in tokenizer tokens the gap narrows or reverses by family \(§[5](https://arxiv.org/html/2608.17744#S5)\)\. If a deployment must pick one Greek reasoning model, the defensible basis is cost and trace language, not per\-axis accuracy\.
## \. What each family taught us
The three models behaved differently in ways that no accuracy table records, and that anyone adapting them will meet\. We report these because they cost us real time and are absent from the model cards\. Library versions are peft 0\.19\.1 / transformers 5\.12\.1 throughout; items marked*\[env\]*are version\-specific rather than properties of the model\.
### \.1\. Qwen3\.6\-35B\-A3B: fused experts, and a base that hides behind its token budget
*\[env\]*Its experts arestacked parameters, so LoRA attaches viatarget\_parameters\(28 tensors\)\. That adaptercannot be loaded backbyPeftModel\.from\_pretrained: the call raises inside a weight converter, and the only route to evaluation is merging the adapter into dense weights first\. We lost an entire evaluation round to this before noticing that the base arms had run and the fine\-tuned arms had not\.
Its base is truncation\-crippled in think mode\.At1,5361\{,\}536tokens,670670of1,0001\{,\}000rows never reach a final answer and it scores20\.820\.8; at4,0964\{,\}096it scores77\.277\.2\(the1,0001\{,\}000\-item probe’s three\-axis mean, as in §[1](https://arxiv.org/html/2608.17744#S1)\), above its own direct mode\. Any comparison against this base at a standard budget measures the budget\. Its traces run4,0004\{,\}000–5,4005\{,\}400characters where the fine\-tune’s run150150words\.
It is the most seed\-sensitive of the three\(sd4\.44\.4pp, range7\.77\.7\), and its*one\-directional*fine\-tune is completelylanguage\-locked: told to reason in English it produces Greek on1000/10001000/1000items \(the released language\-matched checkpoint complies on44\.8%44\.8\\%, Table[11](https://arxiv.org/html/2608.17744#S10.T11);53\.9%53\.9\\%after the RLVR round, Table[16](https://arxiv.org/html/2608.17744#S15.T16)\)\. The base is partially locked the other way: told to reason in Greek it still emits English72%72\\%of the time\.
### \.2\. Gpt\-OSS\-20B: a different trace carrier, and it never stops reasoning
It does not use<think\>\.Reasoning arrives in*harmony channels*\(analysis/assistantfinal\), so a scorer written for one carrier silently mis\-reads the other\.
It emits an analysis channel even when reasoning is switched off:1000/10001000/1000rows atreasoning\_effort=none\. We gated the channel split on having*asked*for reasoning rather than on the markers being present, so every direct\-mode number was computed over trace and answer concatenated, and9595logic rows scored as unparseable\. Split whenever the markers appear\.
*\[env\]*Adetailed thinking offsystem message does not disable reasoning; it returnscontent=nullwith the text inreasoning\. Usechat\_template\_kwargs\. It also rejectssdpaand needseagerattention\.
It is the counterexample twice over\.Dropping the non\-reasoning half of the corpus helps Qwen by\+6\.9\+6\.9pp and*hurts*Gpt\-OSS by5\.65\.6\(62\.562\.5vs68\.168\.1, one run per condition, §[7](https://arxiv.org/html/2608.17744#S7)\); and its fine\-tune stayssteerable, complying with an English\-reasoning instruction95%95\\%of the time where Qwen’s complies0%0\\%\(the released language\-matched arms narrow the gap but keep the ordering:62\.5%62\.5\\%vs44\.8%44\.8\\%, §[10](https://arxiv.org/html/2608.17744#S10)\)\. Same recipe, same corpus, opposite behaviour\. We have no mechanism for either difference, though §[15\.1](https://arxiv.org/html/2608.17744#S15.SS1)shows the override quantity itself responds to a verifiable reward\.
### \.3\. NemotronH\-30B\-A3B: a hybrid that fights every default
Its experts are individually materialised asnn\.Linear, so PEFT attaches one adapter*per expert*:4,188 adapter tensorsagainst 28 for Qwen, at*fewer*trainable parameters \(325M vs 688M\)\. Step time then goes on kernel launches and gradient all\-reduces rather than FLOPs; it trains3\.73\.7–7\.6×7\.6\\timesslower than the others\. Reducing adapter count7×7\\timesbought only23%23\\%, so this is not the whole story; we did not isolate the rest\.
*\[env\]*Three defaults have to change, none of which announces itself\.ddp\_find\_unused\_parametersmust beTrue\(routing leaves experts without gradient, and DDP aborts mid\-run\);model\_accepts\_loss\_kwargsmust beFalse\(NemotronH ignoresnum\_items\_in\_batch, so loss and gradients otherwise scale with the accumulation count\); and evaluation needstrust\_remote\_code=False, because the shipped modeling file*trains*correctly but itsprepare\_inputs\_for\_generationindexes acache\_positionthatgenerate\(\)passes asNone\. That last one fails only at inference, so five hours of training completed before it surfaced\.
*\[env\]*mamba\-ssmmust be installed or 23 of its 52 layers fall back to a pure\-PyTorch scan; transformers logs this on every run\. Installing it changed step time by0%0\\%; worth recording, because the obvious diagnosis was wrong\.
And the claim replicates on it\.This is the third, non\-transformer architecture, and the headline result holds: its base reasons in Greek on0%0\\%of the Greek benchmark \(median ratio0\.230\.23\), its fine\-tune on98%98\\%, at an accuracy cost of−0\.6\-0\.6pp, with the generation\-cap truncation rate falling10\.8→2\.6%10\.8\\to 2\.6\\%and measure loops in its traces dropping from15\.015\.0to0\.00\.0per thousand rows \(same5,1565\{,\}156\-item benchmark, full lanes on both arms\)\. Whatever made the reasoning language movable on two transformer MoEs is not a transformer property; on this evidence it travels with a strong base plus a language\-directed corpus\.
The pattern\.Every family needed a different fix, none of the fixes was announced by an error at the point of the mistake, and three of them produced*plausible numbers*rather than crashes\. A pipeline that runs to completion on a new model family is not evidence that it ran correctly\.
## \. What we can and cannot recommend
Table[15](https://arxiv.org/html/2608.17744#S14.T15)states every configuration recommendation this evidence supports, and the ones it cannot; the basis column is the point, because a configuration table without it would be the overclaim this paper argues against\.
Table 15:Supported and unsupported configuration choices, each with its evidential basis\.
## \. A third pre\-registration: verifiable\-reward RL, designed before its numbers
Everything this paper measures ends at the boundary of imitation\. SFT reproduces the traces it is shown, and three of our measured defects are structural to that: the released Qwen checkpoint fails to emit the requested answer line on24%24\\%of Greek items and leaks the answer into the trace channel on3\.5%3\.5\\%\(§[3](https://arxiv.org/html/2608.17744#S3)\), and clean demonstration plausibly cannot push a leak*rate*to zero, because the imitation objective never sees the counterfactual\. The third is the one §[10\.1](https://arxiv.org/html/2608.17744#S10.SS1)leaves without a mechanism: after language\-matched training the explicit override instruction is obeyed on44\.8%44\.8\\%of items on this family, and we do not know what makes obedience trainable\. All three quantities are deterministically checkable, which makes them exactly the setting for reinforcement learning with verifiable rewards \(RLVR\)\[[9](https://arxiv.org/html/2608.17744#bib.bib9),[29](https://arxiv.org/html/2608.17744#bib.bib29)\]: the objective can be written without a learned reward model or an LLM judge, so the reward cannot drift, cannot be sycophantic, and can be audited line by line\. This section pre\-registers that experiment the way §[11](https://arxiv.org/html/2608.17744#S11)pre\-registered the paper’s two questions: design, reward, defenses and decision rules are frozen here, and were frozen \(rules, reward, fuzz suite and arms\)*before*the first optimizer step\. The outcomes, measured after that freeze, close the section \(§[15\.1](https://arxiv.org/html/2608.17744#S15.SS1)\)\.
The risk the design must carry is also on record: GRPO\-style optimization is a known amplifier of cross\-lingual drift, with reasoning reverting to the model’s dominant language as training progresses\[[22](https://arxiv.org/html/2608.17744#bib.bib22)\]; at small dense scale, an accuracy\-only reward collapsed language consistency to zero, and a language\-consistency term repaired it at no accuracy cost\[[42](https://arxiv.org/html/2608.17744#bib.bib42)\]\. Whether that repair holds when the property being protected was installed by SFT, on a mixture\-of\-experts model, through a LoRA adapter, is untested, and our headline result \(§[10](https://arxiv.org/html/2608.17744#S10)\) is precisely what an accuracy\-only gradient would erode first\.
Objective and environment\.GRPO\[[29](https://arxiv.org/html/2608.17744#bib.bib29)\]on the released Qwen checkpoint:88sampled completions per prompt, group\-relative advantage, no KL term \(β=0\\beta\{=\}0, following[39](https://arxiv.org/html/2608.17744#bib.bib39)\), constant learning rate10−610^\{\-6\}, temperature0\.70\.7, completion budget1,5361\{,\}536tokens\. The budget is a measured decision, not a default: at1,0241\{,\}024tokens roughly90%90\\%of completions truncated, and because a truncated completion is gated to zero correctness \(below\), the correctness term was starved and the run optimized termination and format only\. Adaptation is LoRA\[[16](https://arxiv.org/html/2608.17744#bib.bib16)\]atr=32r\{=\}32,α=64\\alpha\{=\}64on the fused expert projections, the same fused\-parameter targeting the SFT used \(§[13](https://arxiv.org/html/2608.17744#S13)\), with dropout fixed at00: under a policy\-gradient objective, dropout makes the update policy differ stochastically from the rollout policy and corrupts the importance ratio, so a regularizer that is habit in SFT is a correctness bug here\. All reward arms run simultaneously on identical hardware with the same data order and the same seed, so the only factor that varies between arms is the reward\.
The prompt pool\.Problems enter in language\-matched*pairs*, the same item once in Greek and once in English, exactly as the SFT corpus was built \(§[10](https://arxiv.org/html/2608.17744#S10)\), because a Greek\-only pool with any language\-shaped term aims a forgetting gradient at the paper’s central property\. A held\-out slice carries the explicit override instruction, with its phrasing copied verbatim from the evaluation probe of §[10\.1](https://arxiv.org/html/2608.17744#S10.SS1): both contradicting directions \(Greek question instructing English, and the reverse\)*and*both agreeing controls, so the learnable target is the instruction, not the flip\. Gold answers are numeric only, verified by the locale\-aware parser below; the pool is deduplicated and decontaminated by1313\-gram overlap against both the SFT corpus and every evaluation benchmark, in both languages \(§[8](https://arxiv.org/html/2608.17744#S8)is why in both\)\.
A reward with no judge\.Five deterministic terms: \(i\)*correctness*, the anchored answer equals gold under a locale\-aware numeric parser \(in Greek convention17\.50017\.500is seventeen and a half thousand and3,53\{,\}5is three and a half, and §[8\.5](https://arxiv.org/html/2608.17744#S8.SS5)documents a scorer of ours that misread exactly this\); \(ii\)*language consistency*, trace matches the question’s language \(redirected to the*instructed*language whenever an explicit instruction is present, so the two terms cannot both be satisfied by ignoring the instruction\); \(iii\)*format*, the requested answer line is present; \(iv\)*termination*, generation ends inside the budget \(a truncated completion scores zero correctness, because a right number inside an unfinished trace is not a solved problem\); and \(v\)*override obedience*on the instructed slice\. Two gates run underneath: language terms require a minimum of letters after stripping code andLaTeX\(§[8\.5](https://arxiv.org/html/2608.17744#S8.SS5)\); and every behavioural term requires the trace to contain*work*, an intermediate value that is not the answer restated, deliberately not a length test\.
Adversarial pre\-flight, because a found exploit is permanent\.A policy that discovers a reward bug encodes it in weights; unlike an analysis bug, it cannot be fixed afterwards\. So the reward ships with an adversarial suite of2828attacks that must pass before any rollout: trace elision \(answer line only\), fluent Greek filler with no computation and its10×10\\times\-length variant, answer shotguns and number sprays against the extractor, code\-block laundering of English content, the locale exploit above, truncation mid\-number, disobeying and obeying override pairs \(the disobeying trace must score strictly lower\), and a robustness family that must not crash\. Building this suite caught three exploits in our own draft reward before training \(a fluent no\-computation trace at full marks among them\) and motivated the work gate\. One failure mode the suite structurally cannot catch is a term whose*input*never arrives: a reward called without its instruction field silently scores the term at zero and the arm degenerates into a different arm with no error raised; we caught exactly this in a pilot, and the trainer now refuses to start if the override arm’s pool carries no instructed rows, and asserts after training that instructed rows actually reached the reward\. During training we store every rollout \(prompt, all88completions, and the per\-term score breakdown\), so any suspicious number can be traced to the text that earned it\.
Design: one varied factor, and a control that can veto everything\.Four arms, identical in data, steps, seed and hardware, differing only in active reward terms: correctness\+format \+termination \(the collapse probe: what does an accuracy\-shaped gradient cost the language property?\); the same plus language consistency \(the candidate recipe\); the same plus override obedience on the instructed slice \(the mechanism probe for §[10\.1](https://arxiv.org/html/2608.17744#S10.SS1)\); and a*random\-reward control*: same steps, same data, reward drawn uniformly at random\. The control is not decoration: random rewards have been shown to recover most of an RLVR gain on this model family\[[28](https://arxiv.org/html/2608.17744#bib.bib28)\], so any axis on which the control matches a trained arm is elicitation, not learning, and the pre\-registered rule is that the result on that axis is withdrawn regardless of what the trained arms show\.
Decision rules, frozen before the numbers\.Fidelity is a*gate*, not a tradable term: no outcome that buys a metric with Greek\-trace fidelity below97\.0%97\.0\\%counts as a win\. Format fallback must reach≤10%\{\\leq\}10\\%and answer\-channel leak≤1\.5%\{\\leq\}1\.5\\%to claim that RLVR closes defects SFT did not \(24%24\\%and3\.5%3\.5\\%baselines\); the override question carries a three\-branch rule: a rise below\+5\+5pp is the null, a rise of≥15\{\\geq\}15pp reaching≥60%\{\\geq\}60\\%from44\.8%44\.8\\%, with the reverse direction held at≥80%\{\\geq\}80\\%, is the only outcome that may be called*trainable*, and anything between is reported as reward\-responsive with the missed bar stated \(the full frozen rule table is archived with the released artifacts\); accuracy movements inside the±7\.7\\pm 7\.7pp seed floor of §[4](https://arxiv.org/html/2608.17744#S4)are reported as inside the floor, never as gains; and every claim is measured on the held\-out instruments of §[3](https://arxiv.org/html/2608.17744#S3), never on the training reward, which is the quantity a reward hack inflates\. The null branches are pre\-committed too: if the floors do not drop, the defects are reported as not reward\-addressable at this budget; if override does not move, the finding of §[10\.1](https://arxiv.org/html/2608.17744#S10.SS1)keeps its “no mechanism” framing, strengthened\. Abort conditions \(entropy collapse, response length exceeding twice baseline, reward rising with fallback, any term saturating early\) stop a run before it can manufacture a result\.
### \.1\. The outcomes, against the frozen rules
The round ran as designed:2,0002\{,\}000prompts \(800800per language, paired, plus a400400\-row override slice\), one epoch,88completions per prompt, four arms in parallel on identical hardware with the same seed and data order,∼\\sim3939hours\. No abort condition fired; the fuzz suite passed before launch; the override slice’s arrival at the reward function was asserted at run end on every arm\. Table[16](https://arxiv.org/html/2608.17744#S15.T16)holds every number a decision rule reads\.
Table 16:The pre\-registered RLVR round, scored on the held\-out instruments \(Greek think lanen=5,156n\{=\}5\{,\}156; override lanesn=1,000n\{=\}1\{,\}000/1,1001\{,\}100\), same scorer, same day\. The*before*row is the released checkpoint’s frozen dump rescored with the current scorer; its full same\-day regeneration reproduced all5,1565\{,\}156responses*bit\-identically*\(greedy decoding is deterministic here\), and the plain\-mode lanes to the decimal \(44\.844\.8/83\.783\.7\): the before column is not a provenance caveat but a verified constant\. The control row is the entire admissibility argument: on every axis the random\-reward arm reproduces the baseline, so nothing below can be elicitation\. Accuracy is shown for completeness only:\+3\.3\+3\.3–3\.53\.5is inside the±7\.7\\pm 7\.7seed floor of §[4](https://arxiv.org/html/2608.17744#S4)and is claimed by nobody\.The floors drop, and the control proves it is learning\.Fallback24\.1%→2\.5%24\.1\\%\\to 2\.5\\%and answer\-channel leak3\.53%→0\.00%3\.53\\%\\to 0\.00\\%on the plain\-RLVR arm, both past their pre\-registered thresholds \(≤\\leq10%10\\%,≤\\leq1\.5%1\.5\\%\), with fidelity held\. The random\-reward control \(same steps, same data\) moves on neither \(22\.1%22\.1\\%,3\.61%3\.61\\%\)\. The branch fires as written in advance:*in this round, RLVR closed the format and leak defects that our SFT did not*, and for the leak, plausibly could not \(the counterfactual argument above\), at∼\\sim7878GPU\-hours per arm \(3939hours wall on two GPUs\) over a2,0002\{,\}000\-prompt pool\. On format, SFT is not helpless \(a targeted repair dose cut another family’s fallback70→26%70\{\\to\}26\\%, §[11](https://arxiv.org/html/2608.17744#S11)\), but it plateaued at24%24\\%on this one, where the reward reaches2\.5%2\.5\\%\.
Steerability is reward\-responsive; the trainability bar was not met\.The override arm moves instructed compliance44\.8→53\.9%44\.8\\to 53\.9\\%\(\+9\.1\+9\.1pp; the control sits at44\.144\.1, so the control\-adjusted effect is\+9\.8\+9\.8pp atn=1,000n\{=\}1\{,\}000per cell\) while*holding*every hold\-gate: reverse\-direction compliance rises to85\.7%85\.7\\%\(rule:≥\\geq8080\), the agreeing direction is untouched \(98\.5%98\.5\\%, unchanged from baseline; same probe as Table[11](https://arxiv.org/html/2608.17744#S10.T11), not shown in Table[16](https://arxiv.org/html/2608.17744#S15.T16)\), fidelity is the highest of any arm \(98\.2798\.27\)\. Under the frozen three\-branch rule this is the middle branch, and we word it accordingly: the channel*responds*to a verifiable reward \(the first mechanism\-bearing movement of this quantity\), but the≥\\geq\+15\+15pp /60%60\\%trainability bar was missed, so*trainable*is a claim this round does not earn\. One ordering we report without a mechanism: the \+language arm gains least \(45\.945\.9vs48\.848\.8without the language term\), consistent with a language\-consistency pressure on the bulk of the pool opposing instructed switches, even though the reward redirects that term on instructed rows by construction\.
The collapse did not come\.The arm with no language protection ended at98\.22%98\.22\\%Greek\-trace fidelity, above its starting point, with zero in\-question switches\. At this scale and budget \(a MoE adapted by LoRA,16,00016\{,\}000completions, the property installed by SFT rather than by RL\), the accuracy\-shaped gradient did not erode language matching\. We state this as bounded: it contradicts the dense\-scale prior\[[22](https://arxiv.org/html/2608.17744#bib.bib22),[42](https://arxiv.org/html/2608.17744#bib.bib42)\]at our operating point, not everywhere\.
Finding 5\.The pre\-registered RLVR round moved what SFT did not, and the control shows it is learning: answer\-format fallback24\.1→2\.5%24\.1\\to 2\.5\\%and answer\-channel leak3\.53→0\.00%3\.53\\to 0\.00\\%, both past their frozen thresholds with fidelity held, while the random\-reward arm, trained on the same steps and data, reproduced the baseline on every axis\. The override channel responded \(\+9\.1\+9\.1pp, every hold\-gate kept\) but missed the frozen trainability bar; the language property survived an unprotected accuracy gradient\.
Disclosures\.The gates lanes were re\-run mid\-evaluation after the same\-day baseline exposed a render flag silently disabling the reasoning trace: the sixth entry of §[8](https://arxiv.org/html/2608.17744#S8), and the reason the*before*column’s provenance is stated in the caption\. The override slice lives in the shared pool, so the \+language→\\to\+override contrast is a dose comparison on one term, not presence/absence\. And the scope is one family \(Qwen\), one seed per arm, the final checkpoint, an unscreened pool: these are existence proofs with a control, not recipes\. The override arm passed every hold\-gate \(fidelity, both held directions\) while missing the60%60\\%override target, and ships asSophea\-Qwen3\.6\-v1\.1, alongside the SFT release it refines\.
## \. What to take away
For practitioners\.Run the seed control before the ablations\. One extra training run told us more than five corpus versions\. Reportfallback%or an equivalent compliance rate alongside accuracy; ours separated “cannot reason” from “will not answer in the requested form” and supplied the mechanism for our only surviving effect\. Keep a human\-translated subset of any machine\-translated benchmark\.
For the low\-resource setting specifically\.A fine\-tune that leaves accuracy unchanged is not a failed fine\-tune\. Ours made a model reason in Greek instead of English, with budget adaptation the base does not have, and, on the family whose traces shorten enough to repay Greek’s token fertility, at3×3\\timesfewer tokens; on the others the trace\-language gain costs token parity or a1\.6×1\.6\\timespremium \(§[5](https://arxiv.org/html/2608.17744#S5)\)\. Those are the properties a deployment cares about, and an accuracy table cannot see any of them\.
What we do not claim\.No fine\-tuned arm beats its base on the pooled Greek*reasoning*benchmark in any family \(the NLU retention suite is a different quantity, where two arms gain, Table[13](https://arxiv.org/html/2608.17744#S11.T13)\), and we report that as a measured null with a stated noise floor rather than an unresolved comparison\. We report the fine\-tunes’ behavioural advantages, and we report that the corpus work which consumed most of the project produced no measurable accuracy effect at all\.
## \. Related work
Reasoning language\.Which language a multilingual model*should reason in*has an established literature, and the default answer is English\.[Shi et al\. 2023](https://arxiv.org/html/2608.17744#bib.bib31)show that English\-language chain\-of\-thought outperforms native\-language chain\-of\-thought on multilingual math, and[Etxaniz et al\. 2024](https://arxiv.org/html/2608.17744#bib.bib11)report the same direction under self\-translation: translate to English, reason, translate back\.[Wendler et al\. 2024](https://arxiv.org/html/2608.17744#bib.bib37)give it a mechanism: multilingual transformers’ latent space works in an English\-like intermediate representation\. Prompting interventions ride this current rather than oppose it: cross\-lingual\-thought prompting\[[17](https://arxiv.org/html/2608.17744#bib.bib17)\]machine\-translates the problem into English and reasons there, and the translation\-distillation line extends English CoT supervision to non\-English tasks at scale\[[5](https://arxiv.org/html/2608.17744#bib.bib5),[24](https://arxiv.org/html/2608.17744#bib.bib24)\]\. The closest point on the map is DeepSeek\-R1\[[9](https://arxiv.org/html/2608.17744#bib.bib9)\], whose RL phase adds a language\-consistency reward precisely because unconstrained RL drifted into language mixing; the reward keeps the trace in the prompt’s language at a small measured cost to reasoning performance, treating a prompt\-language trace as the success case rather than the failure, as does the consistency\-reward work that followed\[[42](https://arxiv.org/html/2608.17744#bib.bib42),[22](https://arxiv.org/html/2608.17744#bib.bib22)\]\. The prompting and distillation work above makes the opposite call: reasoning in English is the success case and drift back to the prompt’s language the failure\. Our deployment premise sides with R1’s trade and goes further: for a low\-resource\-language deployment of a reasoning model \(here Greek\) the trace*is*the product, and an opaque English trace is the defect, not the target\. What we add over R1’s reward is the setting and the measurement: the property is installed by SFT alone in a mid\-resource language, and we measure both directions of the resulting steering asymmetry \(the locked fine\-tune obeys “reason in English” on0%0\\%of items; the base ignores “reason in Greek” on72%72\\%, §[10](https://arxiv.org/html/2608.17744#S10)\); that combination is where this paper sits\.
Seed variance and reporting\.The call to report variance rather than a best run is at least as old as the benchmark culture it critiques:[Dodge et al\. 2020](https://arxiv.org/html/2608.17744#bib.bib10)argue expected\-validation\- performance budgeting,[Bouthillier et al\. 2021](https://arxiv.org/html/2608.17744#bib.bib4)show baseline reorderings disappear once all sources of training randomness are marginalised, and[Madaan et al\. 2024](https://arxiv.org/html/2608.17744#bib.bib20)quantify how evaluation choices \(prompt, seed, few\-shot draw\) reorder LLM leaderboards\. Our contribution to that line is not the call but two measured transfers: the effect size at*MoE \+ LoRA \+ a mid\-resource language*scale \(7\.7 pp on the identical configuration, sd 4\.4 pp, §[4](https://arxiv.org/html/2608.17744#S4)\), and the asymmetry that the seed variance lands almost entirely on accuracy while our behavioural metrics sit flat across the same three seeds\. The second transfer is what lets a paper this size survive its own noise floor: it is also the thing we have not seen measured in the seed\-variance literature, which works almost entirely in accuracy or expert\-human preference space\.
Trace structure, selection, and the self\-taught lineage\.Our corpus\-generation pipeline is a direct descendant of STaR\[[40](https://arxiv.org/html/2608.17744#bib.bib40)\]: sample a trace, keep it only if the final answer agrees with gold, discard the rest rather than repair them\. What the trace itself should*look like*is laid out by[Li et al\. 2025](https://arxiv.org/html/2608.17744#bib.bib19)\(“the structure of Long CoT is critical to the learning process, whereas the content of individual reasoning steps has minimal impact”\) and[Gandhi et al\. 2025](https://arxiv.org/html/2608.17744#bib.bib13), whose reasoning\-behaviour count \(verification, backtracking, subgoal setting, backward chaining\) names the variable our structure score was groping for\. The cost side of traces has its own literature: the over\-thinking phenomenon in long\-CoT models\[[6](https://arxiv.org/html/2608.17744#bib.bib6)\]is what our budget\-overrun metric \(§[5](https://arxiv.org/html/2608.17744#S5)\) quantifies per item rather than per benchmark\. Our data\-selection null is anticipated by[Xia et al\. 2024](https://arxiv.org/html/2608.17744#bib.bib38), who found that self\-scoring selection methods “struggled to significantly outperform random selection” at scale: the control we should have run first, and did run last\.
Tokenizer fertility and the word\-vs\-token trap\.That low\-resource languages pay a tokenizer tax is a standard observation in multilingual evaluation;[Wang et al\. 2024](https://arxiv.org/html/2608.17744#bib.bib36)quantify fertility gaps of the order we measure \(2\.32\.3–2\.5×2\.5\\timesfor Greek against English on all three families, §[5](https://arxiv.org/html/2608.17744#S5)\)\. The figure matters here because it is the hidden hand behind every cost comparison this paper makes: a word\-denominated reasoning budget is the language\-fair metric, and a token\-denominated one silently double\-counts the fertility tax \(M3, §[3](https://arxiv.org/html/2608.17744#S3); we report both\)\. The same trap, units quietly re\-priced per language, recurs wherever a derived quantity \(cost per correct answer, budget overrun\) inherits the units of a primary one\.
The Greek line, and our instruments’ provenance\.Greek NLP has moved past the era of translating nothing and measuring nothing: Meltemi\[[35](https://arxiv.org/html/2608.17744#bib.bib35)\]and Krikri\[[26](https://arxiv.org/html/2608.17744#bib.bib26)\]are the dedicated open Greek base models, and their evaluation suites \(Greek translations of MMLU, ARC, HellaSwag, WinoGrande and Belebele\[[2](https://arxiv.org/html/2608.17744#bib.bib2)\]\) are the same instruments our retention suite \(§[10](https://arxiv.org/html/2608.17744#S10)\) inherits\. Sophea\-Titan\-1, the model whose instruction corpus is our direct half, belongs to that same line, as do our two companion efforts: a Greek adaptation of the Nemotron retrieval stack with HERA, a large\-scale Greek retrieval\-augmented\-generation benchmark\[[18](https://arxiv.org/html/2608.17744#bib.bib18)\], and MORFES, an expert\-verified benchmark for productive Greek inflectional morphology\[[23](https://arxiv.org/html/2608.17744#bib.bib23)\]\. The threats to the axes we evaluate*on*are equally documented, and two of ours \(§[8](https://arxiv.org/html/2608.17744#S8)\) are new exemplars of known mechanisms:[Artetxe et al\. 2020](https://arxiv.org/html/2608.17744#bib.bib1)show that translating premise and hypothesis independently reduces lexical overlap in NLI \(our degrading category\), and[Singh et al\. 2024a](https://arxiv.org/html/2608.17744#bib.bib32)show that rankings change depending on whether models are evaluated on the full or the culturally\-sensitive subset of a translated benchmark\. What §[8](https://arxiv.org/html/2608.17744#S8)adds to that literature is a distinct mechanism: the artifact can favour the*fine\-tuned*model rather than distorting all models alike, when the benchmark translator and the training\-data generator are the same model family\. Degenerate repetition under greedy decoding is the classic result of[Holtzman et al\. 2020](https://arxiv.org/html/2608.17744#bib.bib15); our contribution is negative, that it is not separable from length in this setting\.
## Limitations
Every model here is a sparse MoE, and every one is adapted with LoRA\.Every result here is therefore a statement about*LoRA on mixture\-of\-experts models*, not about supervised fine\-tuning in general\. Two specific reasons this could matter rather than being boilerplate: the adapters touch only a strided subset of MoE layers plus the shared expert, so a dense model \(where LoRA reaches every FFN\) may behave differently; and the seed sensitivity we report \(§[4](https://arxiv.org/html/2608.17744#S4)\) has a plausible MoE\-specific mechanism, since routing decides which experts receive gradient at all, and a different initialisation can send a different subset of experts down a different path\. We did not test a dense baseline, and cannot separate “LoRA SFT is seed\-sensitive at this scale” from “sparse routing amplifies seed sensitivity”\. A dense control is the single cheapest experiment that would sharpen this paper\.
Single seed for all but one configuration; the noise floor is estimated fromn=3n\{=\}3on one arm andn=2n\{=\}2on another\. Four conditions were never varied: LoRA rank and targets, one epoch, the fixed non\-reasoning arm in every two\-phase mix, and greedy decoding\. All three axes are Greek versions of English benchmarks; a natively\-authored Greek commonsense probe we built came out at ceiling \(9696–97%97\\%for every arm\) and could not discriminate\. The logic axis is the smallest after decontamination and carries the seed instability, and every arm is near\-blind to one of its three classes \(1414–16%16\\%recall on*False*\), a failure a single accuracy number conceals\.
Greek is mid\-resource, and the auditability claim is a hypothesis\.Greek is an EU official language with dedicated open models; whether this recipe transfers to truly low\-resource languages \(which lack the strong base and the language\-directed corpus it depends on\) is untested\. And no human read the traces: apart from the∼\\sim150150\-trace hand\-labelled switching probe of §[2](https://arxiv.org/html/2608.17744#S2)itself \(one annotator, no guidelines or agreement measurement\), every fidelity number in this paper is automatic, so “a trace the user can read and audit” is measured here only as script identity \(the small LLM\-judged register and grammar probes of §[6](https://arxiv.org/html/2608.17744#S6)are the sole exception\), not as fluency, terminology quality, or followability; and it inherits the standing assumption that a chain\-of\-thought trace is faithful to the computation it narrates\. Two cheaper alternatives to SFT were not compared: translating the base’s English trace post hoc, and few\-shot Greek\-trace exemplars \(our “prompting cannot reach it” evidence covers bare instructions only\)\. Finally, the zero\-switch target treats any code\-switching as a defect; Greek technical registers routinely borrow English terms, and we did not measure what the monolingual constraint costs in terminology fidelity\.
### Availability
We release five fine\-tuned checkpoints across the three families of Table[1](https://arxiv.org/html/2608.17744#S2.T1):Sophea\-Qwen3\.6\-v1,Sophea\-OSS\-v1,Sophea\-Nemo\-3\-Nano\-v1andSophea\-Nemo\-3\.5\-Lightning\-v1\(the four SFT releases\), plusSophea\-Qwen3\.6\-v1\.1, the RLVR override arm of §[15\.1](https://arxiv.org/html/2608.17744#S15.SS1), which passed every hold\-gate \(fidelity98\.2798\.27, both held directions kept; the60%60\\%override target itself was missed\)\. The Qwen releases ship the base’s full multimodal \(vision\) stack and its multi\-token\-prediction head for speculative decoding; the Lightning release ships its base’s MTP head as well\. All five ship in theSophea Reasoning Modelscollection at[https://huggingface\.co/collections/KIEFERSA/sophea\-reasoning\-models](https://huggingface.co/collections/KIEFERSA/sophea-reasoning-models)\.
The controls are the methodology we would most like reused \(§[16](https://arxiv.org/html/2608.17744#S16)and Table[15](https://arxiv.org/html/2608.17744#S14.T15)carry the full list\)\. Each is a few hours of compute, none needs our models or our corpus, and each changed a conclusion we had already written down; run in the order given they cost less than one ablation and would have saved us most of a project\.
## References
- Artetxe et al\. \[2020\]Mikel Artetxe, Gorka Labaka, and Eneko Agirre\.Translation artifacts in cross\-lingual transfer learning\.In*Proceedings of EMNLP*, 2020\.
- Bandarkar et al\. \[2024\]Lucas Bandarkar, Davis Liang, Benjamin Muller, Mikel Artetxe, Satya Narayan Shukla, Donald Husa, Naman Goyal, Abhinandan Krishnan, Luke Zettlemoyer, and Madian Khabsa\.The Belebele benchmark: a parallel reading comprehension dataset in 122 language variants\.In*Proceedings of ACL 2024*, 2024\.URL[https://arxiv\.org/abs/2308\.16884](https://arxiv.org/abs/2308.16884)\.
- Biderman et al\. \[2024\]Dan Biderman, Jacob Portes, Jose Javier Gonzalez Ortiz, Mansheej Paul, Philip Greengard, Connor Jennings, Daniel King, Sam Havens, Vitaliy Chiley, Jonathan Frankle, Cody Blakeney, and John P\. Cunningham\.LoRA learns less and forgets less\.*Transactions on Machine Learning Research*, 2024\.URL[https://arxiv\.org/abs/2405\.09673](https://arxiv.org/abs/2405.09673)\.
- Bouthillier et al\. \[2021\]Xavier Bouthillier, Pierre Delaunay, Mirko Bronzi, Assya Trofimov, Brennan Nichyporuk, Justin Szeto, Nazanin Mohammadi Sepahvand, Edward Raff, Kanika Madan, Vikram Voleti, Samira Ebrahimi Kahou, Vincent Michalski, Tal Arbel, Chris Pal, Gaël Varoquaux, and Pascal Vincent\.Accounting for variance in machine learning benchmarks\.In*Proceedings of Machine Learning and Systems \(MLSys\)*, 2021\.
- Chen et al\. \[2024a\]Nuo Chen, Zinan Zheng, Ning Wu, Ming Gong, Dongmei Zhang, and Jia Li\.Breaking language barriers in multilingual mathematical reasoning: Insights and observations\.In*Proceedings of EMNLP 2024*, 2024a\.URL[https://arxiv\.org/abs/2310\.20246](https://arxiv.org/abs/2310.20246)\.
- Chen et al\. \[2024b\]Xingyu Chen, Jiahao Xu, Tian Liang, Zhiwei He, Jianhui Pang, Dian Yu, Linfeng Song, Qiuzhi Liu, Mengfei Zhou, Zhuosheng Zhang, Rui Wang, Zhaopeng Tu, Haitao Mi, and Dong Yu\.Do NOT think that much for 2\+3=? on the overthinking of o1\-like LLMs\.*arXiv preprint arXiv:2412\.21187*, 2024b\.URL[https://arxiv\.org/abs/2412\.21187](https://arxiv.org/abs/2412.21187)\.
- Cobbe et al\. \[2021\]Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, and Others\.Training verifiers to solve math word problems\.*arXiv preprint arXiv:2110\.14168*, 2021\.
- Dao and Gu \[2024\]Tri Dao and Albert Gu\.Transformers are SSMs: Generalized models and efficient algorithms through structured state space duality\.In*Proceedings of the 41st International Conference on Machine Learning \(ICML\)*, 2024\.URL[https://arxiv\.org/abs/2405\.21060](https://arxiv.org/abs/2405.21060)\.
- DeepSeek\-AI \[2025\]DeepSeek\-AI\.DeepSeek\-R1: Incentivizing reasoning capability in LLMs via reinforcement learning\.*arXiv preprint arXiv:2501\.12948*, 2025\.URL[https://arxiv\.org/abs/2501\.12948](https://arxiv.org/abs/2501.12948)\.
- Dodge et al\. \[2020\]Jesse Dodge, Suchin Gururangan, Dallas Card, Roy Schwartz, and Noah A\. Smith\.Show your work: Improved reporting of experimental results\.In*Proceedings of EMNLP 2020*, 2020\.URL[https://arxiv\.org/abs/2002\.06305](https://arxiv.org/abs/2002.06305)\.
- Etxaniz et al\. \[2024\]Julen Etxaniz, Gorka Azkune, Aitor Soroa, Oier Lopez de Lacalle, and Mikel Artetxe\.Do multilingual language models think better in English?In*Findings of EMNLP 2024*, 2024\.URL[https://arxiv\.org/abs/2308\.01223](https://arxiv.org/abs/2308.01223)\.
- Fedus et al\. \[2022\]William Fedus, Barret Zoph, and Noam Shazeer\.Switch transformers: Scaling to trillion parameter models with simple and efficient sparsity\.*Journal of Machine Learning Research*, 23\(120\):1–39, 2022\.URL[https://jmlr\.org/papers/v23/21\-0998\.html](https://jmlr.org/papers/v23/21-0998.html)\.
- Gandhi et al\. \[2025\]Kanishk Gandhi, Ayush Chakravarthy, Anikait Singh, Nathan Lile, and Noah D\. Goodman\.Cognitive behaviors that enable self\-improving reasoners, or, four habits of highly effective STaRs\.*arXiv preprint arXiv:2503\.01307*, 2025\.
- Gu and Dao \[2023\]Albert Gu and Tri Dao\.Mamba: Linear\-time sequence modeling with selective state spaces\.*arXiv preprint arXiv:2312\.00752*, 2023\.URL[https://arxiv\.org/abs/2312\.00752](https://arxiv.org/abs/2312.00752)\.
- Holtzman et al\. \[2020\]Ari Holtzman, Jan Buys, Li Du, Maxwell Forbes, and Yejin Choi\.The curious case of neural text degeneration\.In*ICLR*, 2020\.
- Hu et al\. \[2022\]Edward J\. Hu, Yelong Shen, Phillip Wallis, Zeyuan Allen\-Zhu, Yuanzhi Li, Shean Wang, Lu Wang, and Weizhu Chen\.LoRA: Low\-rank adaptation of large language models\.In*International Conference on Learning Representations \(ICLR\)*, 2022\.URL[https://arxiv\.org/abs/2106\.09685](https://arxiv.org/abs/2106.09685)\.
- Huang et al\. \[2023\]Haoyang Huang, Tianyi Tang, Dongdong Zhang, Wayne Xin Zhao, Ting Song, Yan Xia, and Furu Wei\.Not all languages are created equal in LLMs: Improving multilingual capability by cross\-lingual\-thought prompting\.In*Findings of EMNLP 2023*, 2023\.URL[https://arxiv\.org/abs/2305\.07004](https://arxiv.org/abs/2305.07004)\.
- Kirouane and Petrocheilos \[2026\]Ayoub Kirouane and Christos Petrocheilos\.Teaching nemotron Greek: Mining a corpus, adapting retrieval, and grounding generation for modern Greek across specialist domains\.*arXiv preprint arXiv:2608\.05138*, 2026\.URL[https://arxiv\.org/abs/2608\.05138](https://arxiv.org/abs/2608.05138)\.
- Li et al\. \[2025\]Dacheng Li, Shiyi Cao, Tyler Griggs, Shu Liu, Xiangxi Wang, Siyuan Zhuang, and Others\.LLMs can easily learn to reason from demonstrations: Structure, not content, is what matters\!*arXiv preprint arXiv:2502\.07374*, 2025\.
- Madaan et al\. \[2024\]Lovish Madaan, Aaditya K\. Dong, Thomas Hartvigsen, Adithya Menon, Srinivas Iyer, Aravind Ramdarshan, Jean Maillard, and Yulia Tsvetkov\.Quantifying variance in evaluation benchmarks\.*arXiv preprint arXiv:2406\.10229*, 2024\.URL[https://arxiv\.org/abs/2406\.10229](https://arxiv.org/abs/2406.10229)\.
- NVIDIA \[2025\]NVIDIA\.Nemotron\-H: A family of accurate and efficient hybrid mamba\-transformer models\.*arXiv preprint arXiv:2504\.03624*, 2025\.URL[https://arxiv\.org/abs/2504\.03624](https://arxiv.org/abs/2504.03624)\.
- Park et al\. \[2025\]Cheonbok Park, Jeonghoon Kim, Joosung Lee, Sanghwan Bae, Jaegul Choo, and Kang Min Yoo\.Cross\-lingual collapse: How language\-centric foundation models shape reasoning in large language models\.*arXiv preprint arXiv:2506\.05850*, 2025\.
- Perros et al\. \[2026\]Ioakeim Perros, Cleopatra Papadopoulou, Ayoub Kirouane, and Christos Petrocheilos\.MORFES: A benchmark for productive inflectional competence in modern Greek\.*arXiv preprint arXiv:2607\.28274*, 2026\.URL[https://arxiv\.org/abs/2607\.28274](https://arxiv.org/abs/2607.28274)\.
- Qin et al\. \[2023\]Libo Qin, Qiguang Chen, Fuxuan Wei, Shijue Huang, and Wanxiang Che\.Cross\-lingual prompting: Improving zero\-shot chain\-of\-thought reasoning across languages\.In*Proceedings of EMNLP 2023*, 2023\.URL[https://arxiv\.org/abs/2310\.14799](https://arxiv.org/abs/2310.14799)\.
- Ravaut et al\. \[2025\]Mathieu Ravaut, Bosheng Ding, Fangkai Jiao, Hailin Chen, Xingxuan Li, Ruochen Zhao, Chengwei Qin, Caiming Xiong, and Shafiq Joty\.A comprehensive survey of contamination detection methods in large language models\.*Transactions on Machine Learning Research*, 2025\.URL[https://arxiv\.org/abs/2404\.00699](https://arxiv.org/abs/2404.00699)\.
- Roussis et al\. \[2025\]Dimitris Roussis, Georgios Paraskevopoulos, Leon Voukoutis, Sokratis Sofianopoulos, Prokopis Prokopidis, Vassilis Papavassiliou, Athanasios Katsamanis, Stelios Piperidis, and Vassilis Katsouros\.Krikri: Advancing open large language models for Greek\.*arXiv preprint arXiv:2505\.13772*, 2025\.URL[https://arxiv\.org/abs/2505\.13772](https://arxiv.org/abs/2505.13772)\.
- Sakaguchi et al\. \[2021\]Keisuke Sakaguchi, Ronan Le Bras, Chandra Bhagavatula, and Yejin Choi\.WinoGrande: An adversarial winograd schema challenge at scale\.*Communications of the ACM*, 64\(9\), 2021\.
- Shao et al\. \[2025\]Rulin Shao, Shuyue Stella Li, Rui Xin, Scott Geng, Yiping Wang, Sewoong Oh, Simon Shaolei Du, Nathan Lambert, Sewon Min, Ranjay Krishna, Yulia Tsvetkov, Hannaneh Hajishirzi, Pang Wei Koh, and Luke Zettlemoyer\.Spurious rewards: Rethinking training signals in RLVR\.*arXiv preprint arXiv:2506\.10947*, 2025\.
- Shao et al\. \[2024\]Zhihong Shao, Peiyi Wang, Qihao Zhu, Runxin Xu, Junxiao Song, Xiao Bi, Haowei Zhang, Mingchuan Zhang, YK Li, Yu Wu, and Daya Guo\.DeepSeekMath: Pushing the limits of mathematical reasoning in open language models\.*arXiv preprint arXiv:2402\.03300*, 2024\.
- Shazeer et al\. \[2017\]Noam Shazeer, Azalia Mirhoseini, Krzysztof Maziarz, Andy Davis, Quoc Le, Geoffrey Hinton, and Jeff Dean\.Outrageously large neural networks: The sparsely\-gated mixture\-of\-experts layer\.In*International Conference on Learning Representations \(ICLR\)*, 2017\.URL[https://arxiv\.org/abs/1701\.06538](https://arxiv.org/abs/1701.06538)\.
- Shi et al\. \[2023\]Freda Shi, Mirac Suzgun, Markus Freitag, Xuezhi Wang, and Others\.Language models are multilingual chain\-of\-thought reasoners\.In*ICLR*, 2023\.
- Singh et al\. \[2024a\]Shivalika Singh, Angelika Romanou, Clémentine Fourrier, David I\. Adelani, and Others\.Global MMLU: Understanding and addressing cultural and linguistic biases in multilingual evaluation\.*arXiv preprint arXiv:2412\.03304*, 2024a\.
- Singh et al\. \[2024b\]Shivalika Singh, Freddie Vargus, Daniel D’souza, et al\.Aya dataset: An open\-access collection for multilingual instruction tuning\.In*Proceedings of ACL 2024*, 2024b\.URL[https://arxiv\.org/abs/2402\.06619](https://arxiv.org/abs/2402.06619)\.
- Tafjord et al\. \[2021\]Oyvind Tafjord, Bhavana Dalvi, and Peter Clark\.ProofWriter: Generating implications, proofs, and abductive statements over natural language\.In*Findings of ACL*, 2021\.
- Voukoutis et al\. \[2024\]Leon Voukoutis, Dimitris Roussis, Georgios Paraskevopoulos, Sokratis Sofianopoulos, Prokopis Prokopidis, Vassilis Papavassiliou, Athanasios Katsamanis, Stelios Piperidis, and Vassilis Katsouros\.Meltemi: The first open large language model for Greek\.*arXiv preprint arXiv:2407\.20743*, 2024\.URL[https://arxiv\.org/abs/2407\.20743](https://arxiv.org/abs/2407.20743)\.
- Wang et al\. \[2024\]Wenxuan Wang, Zhaopeng Tu, Chang Chen, Youliang Yuan, Jen\-tse Huang, Wenxiang Jiao, and Michael R\. Lyu\.All languages matter: On the multilingual safety of large language models\.In*Findings of ACL 2024*, 2024\.URL[https://arxiv\.org/abs/2310\.00905](https://arxiv.org/abs/2310.00905)\.
- Wendler et al\. \[2024\]Chris Wendler, Veniamin Veselovsky, Giovanni Monea, and Robert West\.Do llamas work in English? on the latent language of multilingual transformers\.*arXiv preprint arXiv:2402\.10588*, 2024\.URL[https://arxiv\.org/abs/2402\.10588](https://arxiv.org/abs/2402.10588)\.
- Xia et al\. \[2024\]Tingyu Xia, Bowen Yu, Kai Dang, An Yang, Yuan Wu, Yuan Tian, Yi Chang, and Junyang Lin\.Rethinking data selection at scale: Random selection is almost all you need\.*arXiv preprint arXiv:2410\.09335*, 2024\.
- Yu et al\. \[2025\]Qiying Yu, Zheng Zhang, Ruofei Zhu, Yufeng Yuan, Xiaochen Zuo, Yu Yue, Tiantian Fan, et al\.DAPO: An open\-source LLM reinforcement learning system at scale\.*arXiv preprint arXiv:2503\.14476*, 2025\.
- Zelikman et al\. \[2022\]Eric Zelikman, Yuhuai Wu, Jesse Mu, and Noah D\. Goodman\.STaR: Bootstrapping reasoning with reasoning\.*Advances in Neural Information Processing Systems \(NeurIPS\)*, 35, 2022\.URL[https://arxiv\.org/abs/2203\.14465](https://arxiv.org/abs/2203.14465)\.
- Zellers et al\. \[2019\]Rowan Zellers, Ari Holtzman, Yonatan Bisk, Ali Farhadi, and Yejin Choi\.HellaSwag: Can a machine really finish your sentence?In*ACL*, 2019\.
- Zhang et al\. \[2025\]Xue Zhang, Yunlong Liang, Fandong Meng, Songming Zhang, Kaiyu Huang, Yufeng Chen, Jinan Xu, and Jie Zhou\.Think natively: Unlocking multilingual reasoning with consistency\-enhanced reinforcement learning\.*arXiv preprint arXiv:2510\.07300*, 2025\.Similar Articles
Thinking in a Low-Resource Language: What SFT Builds, What RL Fixes, What Accuracy Cannot See
This paper investigates fine-tuning MoE models to reason in Greek, revealing that accuracy metrics are noisy, while supervised fine-tuning and reinforcement learning improve language-specific reasoning and fix behavioral defects, with proposed evaluation instruments.
Learning What to Learn: Stage-Specific Data Sets for SFT-then-RL in Small Language Model Reasoning
This paper proposes a difficulty-aware SFT-then-RL framework for training small language models (≤3B parameters) on reasoning tasks, arguing that data difficulty should be strategically aligned with the distinct roles of SFT (learning new skills) and RL (consolidating partial skills). The authors introduce a Bridge mechanism for hard SFT samples and Critique Fine-Tuning for RL failures, showing consistent improvements across five reasoning benchmarks.
Probing the Origins of Reasoning Performance: Representational Quality for Mathematical Problem-Solving in RL vs. SFT Fine-Tuned Models
This paper investigates internal representational differences between RL and SFT fine-tuned models on mathematical reasoning, finding that RL models exhibit more linearly separable hidden states and hierarchical layer importance. Token allocation variability under repeated sampling suggests training pipeline dependence rather than RL vs SFT alone.
RASFT: Rollout-Adaptive Supervised Fine-Tuning for Reasoning
RASFT is a novel supervised fine-tuning framework for large language models that adapts expert supervision based on the model's own reasoning capabilities, achieving better performance on mathematical and code reasoning benchmarks compared to standard SFT and reinforcement learning methods.
On the Generalization of SFT: A Reinforcement Learning Perspective with Reward Rectification
This paper analyzes limitations in standard supervised fine-tuning (SFT) from a reinforcement learning perspective and proposes Dynamic Fine-Tuning (DFT), a simple gradient-rescaling method that improves LLM generalization and matches offline RL performance.