Spokes.wiki Search About

Synthesis — Machine Learning

The evolving thesis. Spun out of the hub _inbox on 2026-07-30 from five sources parked under four different tags across two months, clustered on the human's instruction after the router flagged that 29 spokes existed and none of them owned machine learning.

Current thesis

The hub's ML strays scattered because a model's life is split across spokes, and the split had no centre. Serving mechanics had a home, the provider market had a home, agent frameworks had a home — but the model itself, how it is fitted, adapted and designed into a product, did not. Each stray was correctly declined by the spoke nearest it, and four separate tags accumulated as a result. That is what a missing spoke looks like from the inside.

The corpus that fell out of it covers three layers of one discipline:

A floor under the three layers

The sixth source is not a fourth layer — it is underneath all three. information-theory-inference-learning-algorithms arrives as the corpus's first textbook, first T1, and first source that explains why fitting works rather than how to run it: the loss a network minimizes is a log likelihood, its regularizer is a log prior, and what learning produces is an ensemble of parameter values rather than a point (bayesian-inference). Model complexity is priced by the evidence without anyone adding a penalty term. The same message passing that marginalizes a probabilistic model decodes an error-correcting code (information-theory).

It changes the corpus's shape in three ways.

The founding gap — nothing in the middle

The corpus jumps from how a fitting algorithm works to how to adapt a finished model, with no source on training a model from data end to end: no pretraining, no data collection or labelling, no evaluation methodology. That absence is itself informative about where practitioner attention has gone — adapting a pretrained model is now the common case, and building one from scratch is not — but it is a hole in the corpus before it is a finding about the field. First priority for the next ingest.

One third of it closed, 2026-08-03. timesfm-2-5-forecasting-tutorial supplies the evaluation methodology the gap named: a baseline that isn't zero (seasonal-naive, and MASE which bakes the comparison into the metric), rolling-origin backtesting across folds instead of one holdout, scoring the interval with pinball loss and coverage rather than only the point forecast, and ablating a configuration knob against both accuracy and cost (time-series-forecasting). None of that is specific to the model under test, which is why it counts as method rather than result. Pretraining and the data/labelling half of the gap are still unsourced.

A second third, 2026-08-04. transformers-tutorials supplies the training loop — not described, executable: fine-tuning on real datasets across several dozen models, written three ways (native PyTorch, PyTorch Lightning, the Trainer API) with preprocessing guidance and a stated basis for choosing among them. Until now fine-tuning was a page of concepts from an explainer with no measurements, and unsloth was a tool that hides the loop; this is the loop itself.

So the founding gap has closed from both ends and the remaining hole is specific: data collection and labelling, plus pretraining proper. Worth naming what the pattern of closure shows. The evaluation methodology arrived inside a tutorial for one model, and the training loop arrived inside a tutorial collection for many — both times as method carried incidentally by teaching material, never as a source about the pipeline itself. The middle layer appears to have no literature of its own in this corpus's reach; it is documented only where someone was demonstrating something else.

That also caps what either source settles. Neither reports a number. Knowing how to run a training loop and knowing whether the result is any good remain separate acquisitions, and the corpus keeps paying for that lesson one source at a time.

The last third closes 2026-08-08, and the reading above was wrong. data-cascades (Sambasivan et al., CHI 2021) and pervasive-label-errors (Northcutt et al., NeurIPS 2021) supply data collection and labelling — both peer-reviewed, both about the data layer itself rather than about a model that needed data. So the founding gap is closed except for pretraining proper.

The correction matters more than the closure. This page claimed the middle layer "appears to have no literature of its own in this corpus's reach" and is "documented only where someone was demonstrating something else." False. It has a literature; it sits in HCI and in the datasets-and-benchmarks track, studies practitioners and labels rather than architectures, and no amount of searching the ML side would have returned it. The absence was in where this wiki looked.

What the two say, briefly. Data Cascades interviewed 53 practitioners in high-stakes domains and found 92% had hit a compounding data failure, 45.3% more than one in one project — failures seeded upstream and surfacing late. Pervasive Label Errors measured the labels: at least 3.3% wrong on average across ten standard test sets, at least 6% of ImageNet validation, and correcting them can flip a ranking (ResNet-18 over ResNet-50, VGG-11 over VGG-19). Both are consolidated at training-data-quality.

The second result reaches back into this page's own method. The evidence spectrum below sorts sources by what they can establish and treats a neutral benchmark as the strong rung. A neutral benchmark on a 6%-mislabeled test set is weaker than that ordering implies — the ruler has a measured error rate. Growth edge 2 (no independent benchmark) is not retired but its bar moves: what would close it is a benchmark that states its label quality, and almost none do.

The evidence spectrum, stated up front

Source What it is What it can establish
mlalgorithms Inspectable code (T2) How an algorithm can be written; not that it's optimal
ml-system-design-case-studies Bibliography of 300+ first-party write-ups (T3) What kinds of ML systems shipped and got written about
finetuning-explained-kdnuggets Beginner explainer (T3) Vocabulary and the decision fork; no measurements
unsloth-amd-support Vendor benchmark post (T3) Vendor's numbers on vendor's hardware; one durable precision argument
ai-projects-fail-infrastructure-people Unread headline (T4) That a journalist framed failure as infrastructure + people. Nothing else
information-theory-inference-learning-algorithms University-press textbook, 2003 (T1) Why fitting and model comparison work at all; nothing about cost, data or deployment, and its neural-net chapters predate the scaling era
timesfm-2-5-forecasting-tutorial Practitioner tutorial on synthetic data (T3) A sound evaluation design and a real API surface; nothing about how well timesfm forecasts, since the author generated the series
phase-transitions-in-attention arXiv preprint, theory + numerics (T1, not peer-reviewed) Why a copy sub-circuit appears when it does, in a one-layer model whose posterior is computable; nothing measured on a real model, and the extrapolation to frontier training is the authors' conjecture
code-as-world-report Self-published lab technical report, self-run benchmark (T3) That a 4B model rose 31.2 → 50.6 on quantiphy over its own base after simulator-derived supervision — a controlled internal comparison. Not that it beats Gemini-3.1 Flash: that row is a 0.6-point margin in a table the interested party configured

Three of the six carry a structural bias worth naming, in different directions. The case-study catalog is survivorship — every entry is a company describing a system that worked, so the corpus cannot say how often those same designs failed. The AMD post is first-party benchmarking — the vendor chose the hardware, the baseline and the configuration. The TimesFM tutorial adds a third and sharper form: synthetic data, where the author chose the problem. A vendor benchmark at least runs on a real workload; a forecast evaluated on a series built from a weekly cycle plus noise measures whether the code executes.

The pretrain-once move arrives in a second modality

timesfm is a 200M-parameter foundation model for numeric sequences, used zero-shot, in a field whose classical answer was to fit a fresh ARIMA or ETS per series. That is the language-model pattern — pretrain once, apply everywhere, adapt rarely — landing on a task that already had decades of per-series statistics to displace.

It sharpens this corpus's "don't fine-tune first" rule (fine-tuning) into a stronger claim: not adapt later, but don't adapt. And it makes forecasting the clearest place in the hub to watch whether the pattern generalizes past text, because the comparison is unusually clean — the classical baselines are cheap, well understood, and decades old.

Nothing here settled it for a month. The single source measured the model on data it invented, against one naive baseline, with no ARIMA, no exponential smoothing and no gradient-boosted tabular comparison (time-series-forecasting). The corpus held a method for answering the question and no answer.

Half of it is settled now, 2026-08-31, and the half that closed did not go the way this section expected. gift-eval (Salesforce AI Research, T1) runs 17 baselines over 23 real datasets and 97 dataset/horizon/frequency configurations. Against the classical per-series fits the zero-shot story holds: the foundation models beat Auto_ARIMA (CRPS 0.811 normalised to Seasonal Naive), and they beat it comfortably. Against a supervised transformer trained per dataset it fails — PatchTST takes the best score on every aggregate metric (CRPS 0.563, average rank 5.72), with Moirai-Large second at 0.593.

So "don't adapt" is a claim about what you can skip, not about what wins. The thing zero-shot displaces is the cheap per-series fit, not the expensive per-dataset one. And the split is legible rather than noisy: pretraining wins daily-to-yearly frequencies and univariate series, and loses secondly/minutely, multivariate inputs, and the two domains with the most entropy and least trend. Broad slow structure transfers; noise and cross-series structure do not.

Two caveats belong with the numbers. The foundation models were measured under acknowledged partial leakage — TimesFM, Chronos and Moirai all have pretraining overlap with the evaluation sets, which flatters them, and they still lose. And Moirai is Salesforce's own model, benchmarked by a team that includes its author; the result cuts against the direction that bias would run, which is the reason to trust it here.

The other half is untouched, and now in a more interesting way. GIFT-Eval has five statistical models, eight deep models and four foundation-model families, and no tree ensemble at all — no XGBoost, no LightGBM. The method tabular-deep-learning-benchmark says is still state of the art at ~10K samples, and the one a practitioner tries first, is absent from the field's leading general benchmark. Open question 7's boosted-tree half is not open because nobody got to it; it is open because the benchmark that should have run it did not.

The vendor answers the benchmark, and declines to publish the score (2026-09-01)

timesfm-3 landed the day after this spoke read gift-eval, and it is aimed at the exact corner the benchmark said pretraining did not buy. GIFT-Eval's split was that foundation models win broad, slow, single-stream structure and lose noise and cross-series structure; multivariate configurations went to PatchTST and iTransformer, and Moirai was the only foundation model that would accept multivariate input at all. TimesFM-3 is 330M parameters with variate attention pretrained in, covariates native, and the whole horizon decoded in one pass. The gap named in a benchmark in October 2024 has a purpose-built model against it by August 2026, which says the feedback loop between evaluation and release in this field is short.

What did not arrive is a number. The announcement claims the top rank on GIFT-Eval, FEV-Bench and a TIME-leaderboard, in charts with no scores, and only among pre-trained foundation models. That comparison class excludes the model that won the benchmark. So the sentence is true-shaped and unfalsifiable here, and open question 7 does not move: the per-dataset supervised comparison is untouched, and the boosted-tree half is as absent from this release as it was from the benchmark.

The corpus now holds the pattern twice in one subject. The 2.5 tutorial measured the model on data it invented; the 3.0 announcement measures it against a field it chose. Both are T3, both are usable for what the artifact is, neither is usable for how well it works — which is the general rule this wiki keeps rediscovering rather than a fact about forecasting.

One thing did change concretely, and not in the direction the release notes emphasise: the licence. The 2.5 checkpoint is Apache-2.0, the 3.0 checkpoint is timesfm-non-commercial-license-v1.0 (both cards checked 2026-09-01). Open weights, commercial use withdrawn, no mention in the post. The open-weight story in this corpus is usually told about text models in ../llm-providers-wiki; the same narrowing is now visible on a numeric-sequence model, and it happened at the version where the model got good enough to sell against.

A fourth layer arrives, and it is after the model

supervision does not fit the three layers, and that is the interesting thing about it. It is not an algorithm, not adaptation, and not system design — it is the code that runs once a vision model has produced its output: a common detection structure, annotators, multi-object tracking, dataset format conversion, and detection metrics. Nothing in it touches backprop.

It stretches this spoke's declared boundary (train-time and design-time) and was still routed here, because the alternatives fit worse: ../llm-inference-wiki is serve-time mechanism for LLMs specifically, and ../dev-tooling-wiki declines application-level runtime libraries. Recorded as a stretch rather than a precedent — if serve-time vision tooling keeps arriving, the honest response is to widen the boundary deliberately or admit that computer vision as a modality is unowned across the hub, which it currently is.

What it contributes is evidence about demo-to-production-gap, which until now had been a claim with no mechanism: a success catalog with no denominator ml-system-design-case-studies and an unreadable headline about failures ai-projects-fail-infrastructure-people. Here is the gap itemized, in the form of what a company had to write and 48.7k stars' worth of people needed. Format conversion between YOLO, COCO and Pascal VOC. Identity across frames. Drawing a box. Counting what crossed a line. Computing mAP.

That is a modest, one-sided piece of evidence — a library's existence proves demand, not that projects fail without it. But it is the first source in the corpus that says anything concrete about what the distance consists of, as opposed to how wide it is.

The model's caller changes (2026-09-14)

ml-models-as-agent-tools is a T3 explainer with no numbers, kept for one structural claim the design corner did not have: the code around a trained model in production is now, in some systems, an LLM agent — the classifier returns a probability and everything else (retrieval, thresholding, routing, the written justification) is the agent's. The ml-system-design-case-studies are systems built around a model; this is the model as one tool inside a loop it does not control. Its own example undercuts its pitch: the decision is still "score above threshold", a rule, with agent steps wrapped around it. Whether the wrapping helps or adds a new failure mode (a misread score, a stale feature) is exactly the demo-to-production-gap measurement this spoke keeps lacking. The agent machinery is ../agentic-tooling-wiki's; the model's changed position is recorded here.

Weights as a modality

skillsmith is the corpus's first primary research on adaptation (every prior adaptation source was an explainer or a toolkit) and it arrives with an unusual stance. It treats model weights as a thing a model reads and writes: prefix-tuning stores a skill as parameters, and an LLM composes new prefix weights from old ones plus a text description, reportedly beating both text-only and weight-space-only baselines.

This is a third position on the seam this synthesis opened between the textbook and the practice. information-theory-inference-learning-algorithms says learning produces a distribution over parameters; the fine-tuning/unsloth toolchain ships the single point estimate and calls it training. SkillSmith does neither — it takes trained weights as objects to manipulate, making the parameters themselves the unit of analysis rather than the loss or the data. It does not settle the disagreement, and as a preprint on the authors' own evaluation it is held loosely (T2, the domain's benchmark caveat in full force). But it widens the corpus's account of what "adapting a model" can mean: not only moving weights toward a task, but composing weights as reusable parts.

Note the standing homonym it sharpens: a parametric skill (prefix weights) is not an agent skill (a markdown prompt an agent loads) — the same week both senses arrived in the hub, in different spokes.

Training becomes a subject, and open question 6 gets a partial answer

Every source before this one treats training as something you run: a loop, a tool, a cost in VRAM. phase-transitions-in-attention treats it as something to explain — why a capability appears at the data size it appears at — and it is the corpus's first T1 primary research rather than a textbook, tutorial or vendor post.

What it does. Marginalise the weights of a single-head attention layer trained on a copy task, get a closed-form posterior over attention patterns, and reduce it by the task's permutation symmetry to two order parameters: attend uniformly, or attend one position back. The negative log-posterior is then an effective landscape whose minima say which pattern the data prefers, "separately from whether an optimizer reaches it."

Open question 6 — "does the Bayesian account survive at scale?" — moves, without closing. bayesian-inference had a textbook saying learning produces an ensemble and a toolchain shipping point estimates, neither citing the other. This paper puts them in the same equation in one tractable setting: the posterior's MAP is where Adam lands, because minimising the action at large χ corresponds to gradient flow with weight decay, and SGLD sampling agrees with Adam closely. The point estimate is the mode, not a different activity. What buys that result is a symmetry, not a scalable method — nobody integrated over billions of parameters — so the question survives in a sharper form: the correspondence holds where the posterior collapses to two numbers, and no one has shown what happens where it doesn't.

The finding that travels furthest is about monitoring, not training. The order of the transition is set by the attention activation: softmax gives a first-order jump with no precursor, linear attention gives a second-order transition preceded by diverging fluctuations and then a gradual crossover. If that generalises, capability onset in the architecture everyone actually ships is "intrinsically unpredictable from observable quantities," and there are "fundamental limits to what can be monitored" (capability-emergence). That is a claim about AI risk practice derived from statistical mechanics, and this spoke should hold it as a conjecture with a derivation behind it: one layer, one head, i.i.d. uniform tokens, a supervised copy task standing in for next-token training, and asymptotic approximations. Copying is the minimal circuit under in-context learning, not in-context learning.

It also sits oddly against the corpus's evidence habits. Everything else here is unreplicated first-party numbers; this is a derivation whose numerics match its own theory. Both are single-source, and neither kind of weakness cures the other.

Open questions

  1. How often do AI projects actually fail, and by what definition? A success catalog with no denominator on one side, an unevidenced failure claim on the other. Nothing measures the rate.
  2. When is fine-tuning the right tool? The corpus states the rule — try prompting and retrieval first — and gives no threshold, task taxonomy or cost comparison for applying it.
  3. Do the Unsloth speedups survive independent measurement? The identical loss curve is the load-bearing claim, and it is self-reported.
  4. What does the middle layer look like? Pretraining, data, evaluation — see the founding gap. Evaluation now has a method (time-series-forecasting); pretraining and the data/labelling half remain unsourced. Answered as a syllabus 2026-08-18 by lindholm-machine-learning-first-course, which is the middle layer taught end to end: k-NN and trees before any parametric model, then regression, regularisation, bias–variance, parametric learning and SGD, neural networks with backpropagation, bagging/boosting, kernels and SVMs, Gaussian processes, mixtures and clustering. Its Chapter 11 also supplies a diagnostic the corpus lacked — carve a training-validation set out of training data and the hold-out error splits into training error, generalisation gap and train-val mismatch, so a practitioner can tell a model problem from a distribution problem. What the book does not touch is what sits above it: adapting pretrained models, and the data-labelling practice of edge 1a. So the question narrows from "what is the middle layer" to "what is between this book and a fine-tuning run". The labelling half answered 2026-08-25 by safetutors and annotation-requirements-autonomous-driving — one annotation operation published in full, one reported by its practitioners. See edge 1a. Pretraining is still the unsourced part.
  5. Does the ranking/matching/forecasting concentration reflect the field, or only what companies blog about? The catalog cannot distinguish these.
  6. Does the Bayesian account survive at scale? bayesian-inference says the product of learning is an ensemble; nobody samples a posterior over billions of parameters. Whether the point estimate everyone actually ships is an approximation with known cost or a different activity wearing the same vocabulary, no source here answers. Partly answered 2026-08-07 in one tractable case (phase-transitions-in-attention): the MAP of an analytically-derived posterior is where Adam lands, so there the point estimate is the mode. The reduction that made it computable was a permutation symmetry, so the open half is now specific — what holds when the posterior does not collapse to two order parameters.
  7. Is capability onset detectable before it happens? (added 2026-08-07) One derivation says the answer depends on the activation function, and that softmax — the one in production — gives no precursor (capability-emergence). Nothing here tests that on a real training run, and the claim would matter a great deal if it held.
  8. Do time-series foundation models beat per-series classical models? (added 2026-08-03) Half answered 2026-08-31 by gift-eval: yes against Auto_ARIMA and the naive baselines on 23 real datasets, and no against PatchTST, a supervised transformer trained per dataset, which wins the benchmark outright. The remaining half is the gradient-boosted comparison, which the leading benchmark in the field does not run. The question that replaces it is narrower and better: is per-dataset supervised training worth its cost, given that it wins? — the zero-shot argument was never only about accuracy. Bears directly on question 2. Not moved by timesfm-3 (2026-09-01), despite it being the obvious candidate: Google ranks it only against other foundation models, and publishes charts rather than scores. A release aimed at the benchmark's multivariate finding still leaves the comparison the question asks about unrun. A third register 2026-09-17: younes-introduction-to-machine-learning (JHU, 674 pp, T1) is the graduate mathematical treatment — the optimization theory Lindholm assumes, ~140 pages of graphical models, and a closing chapter of generalization bounds that says why a learner generalizes. It has no exercises and gives neural nets 18 pages. Pretraining, data and evaluation as practice are still unsourced by any of the three books.

The tabular default finally has sources

The corpus argued about foundation models for a month with no page on the method a practitioner would actually use first. gradient-boosted-trees fixes that, and the two sources behind it say different things worth keeping apart.

xgboost is a story about systems, not statistics. Friedman's algorithm was a decade old; what changed in 2016 was an implementation with sparsity-aware splits, a weighted quantile sketch and out-of-core blocks, hitting scikit-learn's accuracy on Higgs-1M at roughly forty times the speed. The method became the default because it became cheap to try. That is the same mechanism this spoke keeps finding elsewhere — capability follows tooling — and it is worth noting that the dominance evidence (17 of 29 Kaggle winners) is competition results, a venue with its own selection effects.

tabular-deep-learning-benchmark is the durable half. Six years later, with 45 datasets and ~20,000 tuning hours per learner, tree ensembles are still ahead at ~10K samples, and the explanation is structural: uninformative columns, rotation invariance, irregular targets. Those are properties of messy real data, which lines this up with data-cascades — the deciding variable keeps turning out to be the data, and the method that tolerates bad columns keeps winning.

Open question 7 is now precisely stated and still unanswered. The baseline it needs exists here; the comparison against a time-series foundation model does not.

Tensions

Still no head-on contradiction — the sources don't overlap enough to disagree, which remains a weakness in a six-source corpus.

The first real seam has opened, though, and it runs between the textbook and the practice. information-theory-inference-learning-algorithms frames learning as producing a distribution over parameters and treats the single most probable setting as a fallback for when the integral is intractable. Every other source in this corpus ships that fallback and calls it training — fine-tuning and unsloth are entirely point-estimate machinery, and the vocabulary of priors and evidence appears nowhere in them. Neither side argues with the other because neither cites the other. Filed as open question 6 rather than a contradiction: a twenty-three-year-old textbook and a 2026 toolchain disagreeing about what learning produces is a gap in the corpus's coverage before it is a dispute in the field.

The nearest thing to a live tension is between ml-system-design-case-studies and ai-projects-fail-infrastructure-people: one says ML systems ship routinely across dozens of industries, the other that most AI projects fail. Both can be true (different denominators, different eras — the catalog stops at 2023), and neither source cites the other. Recorded as an unresolved question rather than a conflict, because the failure side is a headline and not yet an argument.

A boundary the hub drew and this spoke inherits: the parked ai-test-automation-paradox record argues that AI generating tests at scale mostly scales brittleness — the same demo-to-production shape as this corpus, applied to software testing rather than ML systems. It was deliberately left in _inbox rather than folded in here. If a third source lands on that seam, the boundary should be revisited rather than defended.

Agreement and correctness come apart, and the gap flatters the cheap option (research pass, 2026-08-28)

This wiki adopted inter-annotator agreement as the instrument for label quality when measuring-annotator-agreement arrived, with the caveat that it is well-founded for categorical labels and shaky for everything modern datasets actually use. absa-annotator-comparison-cost adds a sharper caveat, because it measures both ends of the same task: the LLM annotations achieved high agreement and produced models only comparable to student-annotated data, while expert annotations remained the best basis for peak performance.

An agreement score asks whether annotators concur. It cannot ask whether they were right, and an LLM annotating consistently is the case where those two questions diverge most cleanly — a model agrees with itself by construction.

The mechanism is coverage, not mislabelling, which is why agreement misses it. On the harder subtask, student and crowdworker datasets contain systematically fewer instances than expert and LLM ones, concentrated in the rare categories (AMBIENCE, PRICE). The instances are not wrong; they are absent, and they are absent from every annotator's copy, so no pairwise measure computed over what was annotated can see the hole. That is the same shape as pervasive-label-errors one level up: the error is in the test set's construction rather than in any single label.

Filed beside edge 1a's existing flag rather than replacing it: the corpus now holds an instrument, a report that the instrument is rarely published (who-annotates-in-nlp), and a case where the instrument scores the cheap option highest.

Supervision can be manufactured, and the error moves rather than disappears (2026-08-31)

code-as-world-report enters the corpus's most-worked question — where labels come from — with an answer none of the six sources at training-data-quality considers: don't annotate anything.

The setup makes the move legible. The task is reading an object's real speed, size or acceleration off a monocular video, and it is a task nobody can annotate: a crowdworker cannot see metres per second, and an expert would have had to measure the scene while it was filmed. quantiphy gets 569 videos this way, by curation, which is a benchmark and not a training set. So Code-as-World inverts the pipeline — it uses an agentic-discovery-loop to recover an executable-world-representation of a scene, keeps the ones that survive verification, and reads the labels off the simulator, exactly and for free.

Every cost this corpus has spent two months measuring goes to zero. No recruitment, no 140-page guidelines, no adjudication, no £828, no κ — there are no annotators to agree with each other. That is the strongest form of the "data is the bottleneck" thesis being answered, and it is worth naming as a third strategy beside collect-and-label and buy-a-pretrained-model.

But the failure mode does not vanish; it relocates upstream, and out of instrument range. The report's own §4.4 concedes that the loop "may converge to a locally plausible EWR without recovering a mechanistically accurate explanation." pervasive-label-errors found wrong labels on real data. Here the labels are exact by construction and the world they describe may be the wrong one — and no distance function, no agreement measure and no adjudication protocol can detect a label that is perfectly consistent with a mis-specified simulation. The only check on offer is that the world renders like the video, which tests appearance rather than mechanism.

So the two strategies partition by domain rather than compete. Manufacture where a simulator is faithful and a human cannot see the quantity; annotate where the reverse holds. The report's own limits mark the boundary: no camera motion, rotation, deformation, occlusion, fluids or long-horizon multi-object dynamics — that is most of the world, and it is where the annotators stay.

It also gives the RL half of fine-tuning its first reason. GRPO had appeared here only as a timed step in a vendor post. The two-phase recipe behind code-as-world-vl — SFT where cheap derived labels are abundant, RL where labels are few and exact — is the corpus's first stated basis for choosing a post-training stage, from one first-party report and with no ablation between the phases.

And it is the corpus's first source where the agent is a factory rather than a product. The hub's boundary with ../agentic-tooling-wiki holds cleanly and for a reason worth recording: this loop runs offline, produces no user-facing behaviour, and exists entirely to emit training data. Its output is a dataset; the harness that made it is somebody else's subject.

The cross-wiki finding: the loop is scaffolding, not a capability

llms-cant-jump (../research-wiki) argues that abduction — generating a novel explanatory hypothesis for a singular observation — is structurally missing from these models, and names manipulative abduction, hypothesis by embodied simulation, as the human mechanism. Code-as-World builds exactly that, in software: propose a world, run the physics, look at the result, diagnose, revise. The report reaches for the same lineage unprompted, calling world recovery an inverse problem solved by abductive reasoning and citing the heliocentric and Newtonian precedents.

The two do not contradict each other. They agree, and the agreement is the finding — code-as-world-report §5.5 states that the trained model "does not internalize the agentic discovery process itself… hypothesis construction, simulation, diagnosis, and iterative revision remain external to the model." The model learns the outputs of abduction as supervised targets. The jump stays in the harness. That is Zahavy's claim confirmed by a lab trying to route around it, and it is more evidence than either page had alone.

The two label strategies turn out to be consecutive (2026-09-07)

The 2026-08-31 section above set manufacture and annotation against each other and partitioned them by domain: manufacture where a simulator is faithful and a human cannot see the quantity, annotate where the reverse holds. male-fly-connectome shows a mature project running both, in order, and the order is the finding.

Google Research and HHMI Janelia released the male Drosophila connectome — 166,000 neurons, 125 million synapses, published in Cell with 111 authors. The segmentation models are trained with synthetic neurons injected into the training data, which the post credits with improving speed and accuracy. Then human experts proofread the model's output for years, and the post names that as the constraint on the whole field: "reducing this need for manual error correction" is what would let bigger brains be mapped "within reasonable budgets and timelines."

So the strategies are not alternatives at this scale. Manufacturing gets you a model; the model gets you a draft; the draft still has to be corrected by people who know what a neuron looks like. And the human step is not the labelling activity this corpus has been measuring — it is label-error correction on a model's output, planned for and budgeted in advance rather than discovered afterwards in a finished test set.

One release history makes the cost legible. The same lab published a fully automated female fly brain in 2019, a human-verified half brain in 2020 (25,000 neurons, 21 million connections), and the complete male CNS in 2026. Automation arrived first and six years went into verification. That is the clearest statement the corpus holds of what the annotation layer actually costs when nobody can skip it.

The publishing pattern repeats, and it is the venue's. Like timesfm-3 a week earlier, this is a Google Research post asserting an improvement — "speed and accuracy" — with no number attached: no error rate, no proofreading hours, no split between automated and corrected output. Two posts, two subjects, same omission. The peer-reviewed paper is where those numbers would live, and this spoke has verified its existence rather than read it.

The dataset ships with a viewer, and the viewer ships a format. neuroglancer arrived hours after the post and is the delivery end of the same pipeline: Apache-2.0, purely client-side, so publishing a connectome means publishing a URL. Its own precomputed format has accumulated the readers and meshing pipelines other labs built around it. Two things are worth keeping. The README states plainly that it is "not an official Google product" — a resource several published connectomes are distributed through, carrying no support commitment. And a dataset anyone can open in a browser is the cheapest route to a second pair of eyes on work that cost years of expert proofreading; whether that produces corrections is unmeasured, and this spoke has no source that asks.

A scope note, recorded rather than settled. Connectomics is neuroscience and no spoke owns it; the pipeline is what routed here. ../psychology-wiki holds behavioural neuroscience but not neuroanatomy. If two more sources of this kind arrive, reopen the question instead of settling it by precedent from this ingest — the same rule that spoke wrote for itself when the polarization model landed there.

Adaptation by vocabulary (2026-09-16)

lfm2-5-230m-chess is a small, legible case of a fine-tuning move this spoke had not paged: instead of teaching a language model to write chess notation, give it 2,106 new tokens, one per legal move, mask sampling to the legal set, and distil Stockfish into a value token followed by a policy token. The base model supplies sequence modelling only; the task lives in the vocabulary and the decoding constraint. Set beside the PEFT pages, it is the opposite bet — change the interface, not the weights' rank — and it comes with a metric that is cheap to check independently (play it). The 2004 Elo with search and 1500 without are the author's numbers; nobody has measured them yet.

Three textbooks, three registers (2026-09-17)

With younes-introduction-to-machine-learning the spoke holds machine learning taught three ways: for engineers with problems to solve (lindholm-machine-learning-first-course), through information theory (information-theory-inference-learning-algorithms), and as graduate mathematics. The page counts are the finding. Younes gives optimization 60 pages and graphical models about 140, and neural networks 18; the words "transformer" and "attention" occur but are not a subject. That is not neglect — the preface says the book is about the mathematics that lets a reader assess and extend the algorithms in the packages — but it means the corpus's most rigorous text is the one furthest from what the rest of this spoke's sources spend their time on. The middle-layer question (open question 4) is answered as theory now as well as syllabus, and still not as practice: none of the three books teaches pretraining, data curation or evaluation.

A category, not a product: three System 1s in one week (2026-09-24)

laya (Convai Innovations) lands in the same architectural slot llm-providers-wiki already tracks: system-one-models-and-jev describes TypeSafe's Jev, a non-autoregressive "System 1" model trained with something it calls RLCD to answer typed questions with calibrated probabilities. Laya is the same shape — bidirectional encoder plus a small decision head, choice/score/noul questions, RLCD training against strictly proper scoring rules — arriving from an unrelated vendor within weeks, and it benchmarks itself directly against Jev by name. It claims to win on accuracy (0.766 vs. 0.727) and calibration (ECE 0.081 vs. 0.246) and to lose on high-cardinality choice questions (Banking77: 0.425 vs. 0.870), all numbers Laya measured itself for both models.

Two things stay separate here. First, nobody replicated anything: these are one vendor's numbers about a competitor, a step up from a vendor's numbers about itself, but still not what growth edge 2 asks for. Second, the difference that doesn't depend on either benchmark table: Jev is closed and metered, Laya is Apache-2.0 and free to self-host, so a reader who wants the architecture rather than the vendor relationship has an option that didn't exist three weeks ago. fine-tuning gets the technical link — Laya's RL stage is a second, independent instance of "GRPO teaches calibration," the same mechanism code-as-world-vl uses in an unrelated domain.

A third, same day: open-jev-9b (Zefan Cai), and it changes the shape of the finding. Where Laya matches Jev's vocabulary and training-method name without comment, Open-Jev's own README says outright what neither Jev's nor Laya's card does: "an independent implementation inspired by TypeSafe's Jev. It does not reproduce proprietary RLCD, private weights or training data." Its architecture is further from both — a LoRA adapter over a 9B generative chat model (Qwen3.5-9B) rather than a bidirectional encoder built for the job, with a decision head initialised from the base model's own yes/no logit rather than trained from scratch. Its card never names RLCD or REINFORCE; the project's documented 27B sibling uses a supervised loss (cross-entropy plus a Brier-score term) instead. So the category this spoke is now tracking is a target shape (typed questions, no generated text, a calibrated probability out) reachable by at least two different training methods — RL against a proper scoring rule, and a supervised loss shaped like one — rather than a single technique with three implementations. Open-Jev-9B's 97.54%/91.97% accuracy figures are not placed beside Laya's or Jev's in this synthesis because they aren't measuring the same thing: its own held-out split, drawn from its own synthetic generator, is not a shared benchmark with either.

Cross-spoke, unintegrated into that spoke: agentic-tooling-wiki's model-routing pages (cache-aware-model-routing, claude-code-model-router) want exactly this primitive — a fast, cheap, calibrated yes/no or choice signal to decide whether a request needs a bigger model. Noted here as a connection; nothing changes in that spoke's own pages.

A fourth artifact, three days later, and it isn't a model (2026-09-27). jev-typesafe-typed-decisions-guide is a how-to for calling Jev in production, from a Hugging Face account whose own profile is a content mill — 19 articles keyed to trending product names, two more about Laya and Jev published within a day of this one. That is worth naming plainly: the category this section tracks has existed for under two weeks and has already attracted SEO content built to rank on its vocabulary, not just three vendors building the thing. Growth edge 2 already holds lindholm-machine-learning-first-course's observation that research doubles as advertising for the lab that publishes it; this is the same incentive one hop further out — a third party with no stake in any of the three models profiting from the category's search traffic. The post's own technical content checks out against jev-ai-sdk-guide on every point tested, so it isn't wrong, only unaccountable to anything but its own claims. Named as typed-decision and folded into ml-system-design and demo-to-production-gap for the parts worth keeping — a decision contract, an explicit "unavailable" result state, and a staged rollout — none of which depend on which vendor's model sits behind the call.

An interpretability result becomes a weight edit (2026-10-04)

llm-abliteration is the spoke's first source where the model-science corner (see induction-head, phase-transitions-in-attention) is used as a tool rather than described. arditi-refusal-direction found that refusal is mediated by a single direction; the toolkit measures that direction by contrast (harmful minus harmless prompts) and orthogonalizes the weights against it, with no training. The same move as isolating a circuit by ablating it, run in the other direction: once you can name the direction, you can delete it.

Two things to keep apart. First, the repo shows the mechanism works well enough to be productised (three switches, a YAML layer plan, six model families listed) but publishes no before/after refusal rate or capability score, so "tested" means "runs". Second, its own caveat narrows the science: removal holds only for refusal types present in the prompt sets, which suggests the single direction is a property of measured refusals, not of everything a model can decline. Implementations also read activations at different residual points, so directions are not interchangeable across tools. The technique and its refinements (norm preservation, biprojection) are tracked in llm-providers-wiki's abliteration; nothing is changed in that spoke here.

Growth edges

Ranked; each names the kind of source that would close it (see ../QUALITY.md → Growth edges).

  1. The missing middle layer — partly closed 2026-08-04 by transformers-tutorials, which supplies the training loop as working code across three frameworks and several dozen models. The method half is answered. Data curation and evaluation are not — the repo teaches how to run the pipeline and reports nothing about whether the result is good. — needs: T1/T2 on data curation and on evaluation, which have separated out as edge 3 and are the live half of this one. Touched, not closed, 2026-08-05: supervision ships a dataset module (YOLO/COCO/Pascal VOC conversion) and a metrics module (mAP), so the corpus now holds curation and evaluation as installable tooling. It still holds neither as a result — nobody has reported what good looks like on a task. A library is where the answer would be computed, not the answer. CLOSED 2026-08-08 (research pass) by data-cascades and pervasive-label-errors, both T1, both about the data layer as a subject: a 92% cascade prevalence across 53 practitioners, and at least 3.3% wrong labels across ten standard test sets. Successor written as edge 1a. 1a. How the data work is actually done well. New 2026-08-08. Both closing sources are diagnoses: one measures how often the practice fails, the other how wrong the labels are, and neither says what competent labelling looks like. Partly closed the same day by measuring-annotator-agreement (Braylan, Alonso & Lease, T1), which supplies the instrument — and reports that inter-annotator agreement is well-founded for categorical labels and shaky for the bounding boxes, sequence tags, ranked lists and free text that modern datasets actually use. Still missing the practice: annotation guidelines, annotator training, sampling design, cost. Hunted again 2026-08-10 (research pass) — and the hunt returned the reason, not the artifact. who-annotates-in-nlp (Kunilovskaya et al., T1) audits 2,667 annotation tasks from 1,603 ACL-venue papers and finds the practice mostly unpublished: annotator training reported for 18.7% of tasks, released guidelines 34.1%, an agreement value 35% — against recruitment 90.4% and total items 86.0%. Papers say who was hired and how much was labelled, and omit what would let a reader judge whether the labels mean anything. So this edge was never a search failure; the base rate is low. Flagged, because it undercuts the instrument above. measuring-annotator-agreement analyses a statistic that a third of tasks report a value for, under conditions — who annotated, trained how, told what — that are documented less often still. A kappa without its guidelines describes an unspecified procedure. Re-specified rather than closed. — needs: a single labelling operation documented end to end (guidelines, training, sampling, cost) — a dataset paper's full annotation appendix, an industrial data-operations write-up, or a datasheet that actually fills the fields. A second meta-study of reporting would not close it. CLOSED 2026-08-25 (research pass), by both named artifacts at once. safetutors (Hazra et al., TU Eindhoven / IIT Kharagpur / Cisco Research / NYU, arXiv 2603.17373, T1) publishes the appendix: three annotation stages with three workforces and three stated pay rates (6 undergraduates $5/hr, 3 doctoral students $15/hr, 24 Prolific workers $10/hr), a four-step calibration ending at an ≥80% agreement-with-gold gate, a 10-item qualification test whose pass rates are printed (24 of 33 crowd recruits, 72.7%), verbatim guidelines per stage, the tools named, an adjudication protocol with rates (4.2% of crowd instances escalated to a senior reviewer; 3.8% cross-stage conflicts, 21 dropped and 36 flagged), Fleiss' κ split by stage, subject and turn count, and 15,300 labels totalled. annotation-requirements-autonomous-driving (Saeeda, Mohamad, Knauss, Horkoff & Nouri — chalmers-university-of-technology, RISE, Gothenburg, Volvo Cars, arXiv 2511.15859, T1) supplies the industrial side from 19 interviews at six automotive companies: guidelines past 140 pages, manual review cut 10% → 5% under budget pressure, rework at 3× the cost of labelling properly, only ~20% of collected data ever annotated, 15% of one 3D point-cloud set destroyed by version conflicts. Successor (edge 1b), new 2026-08-25: neither source states what the work cost. SafeTutors gives hourly rates and per-item times but no total; the interview study gives a ratio (3× for rework) with no base. — needs: a total cost of ownership for one labelling operation — spend, hours, or cost per usable label, with the scope it covers. T1/T2. CLOSED 2026-08-28 (research pass) by absa-annotator-comparison-cost (Donhauser et al., Regensburg, arXiv 2605.03624, T1, read from the PDF): £828 total, £0.41 per three-way annotated example including platform fees, thirty Prolific crowdworkers at £9/hour, two days per study — a total, a per-usable-label figure, and its scope. What it adds beyond the number, and this is the part worth keeping. The paper prices four annotator types for the same task, and two of them have no price: students were paid in course credit and took weeks, and expert refinement took "several hours" only because it revised existing labels. Meanwhile "LLM annotation" spans $0.0025 self-hosted to $0.36 on a frontier API — a 144× spread that straddles the human price, so the cheaper-than-humans claim is unfalsifiable until the tier is named. Successor (edge 1c): every figure here is for 1,000 sentences of restaurant reviews with a short guideline. The industrial case in annotation-requirements-autonomous-driving runs 140-page guidelines over 3D point clouds, and nothing lets £0.41 travel to it. — needs: a cost per usable label from an operation with a guideline of that size, or a study of how per-item cost scales with task specification. T1/T2. Not eligible before 2026-09-11. Hunted 2026-10-03 — nothing ≥ bar. The closest find is an industrial case study from Hyundai (Kim, Ju, Feldt & Yoo, ESEC/FSE 2020, arXiv 2006.00894, T1). It says outright that the company's internal labelling cost "will remain confidential" and prices labels from Google Cloud's public list instead, which this edge excludes. That is the edge's own mechanism stated by an industrial author: the operation that could answer will not publish the number. Not eligible before 2026-10-17. One thing the pair also explains: the academic operation could publish because it was small, bounded and finished; the industrial one has unstable guidelines and, by its own practitioners' account, missing traceability, so there is no settled artifact to attach to a paper. That is a mechanism for the 18.7%/34.1% reporting rates above, not merely a restatement of them.
  2. No independent benchmark, and the bar just moved. Every speed/VRAM figure is a vendor first-party snapshot — but pervasive-label-errors shows a neutral benchmark inherits its test set's label error rate, at least 6% on ImageNet validation, enough to reverse model rankings. — needs: a T2 neutral benchmark that states its label quality, not merely a third-party one. Explained, not closed, 2026-08-18. lindholm-machine-learning-first-course §12.2 teaches the incentive as a fact about the field: much ML research is done by large companies whose PR departments publicise it, so "research is (in part) a form of advertising," and "the scope of the results can potentially be exaggerated for commercial gain." A T1 textbook saying plainly what this spoke had been inferring one vendor post at a time. It is a statement about publication incentives, not a benchmark, so the edge keeps its ask — but it stops the corpus treating the pattern as its own observation. A second data point, 2026-09-24: laya's benchmark table against Jev (system-one-models-and-jev) is vendor-vs-competitor rather than vendor-vs-itself, a step up in rigor, but it is still Convai measuring both models and reporting the result on its own card — not the neutral T2 comparison the edge asks for. A third, same day: open-jev-9b doesn't even attempt a head-to-head — its 97.54%/91.97% figures are scored on its own held-out synthetic split, which the edge's neutral-benchmark ask rules out by construction. Three sources into this pattern and the corpus still has zero examples of a benchmark none of the parties involved built.
  3. Evaluation as a discipline — the demo→production gap page implies it and nothing covers it. — needs: T1/T2 on model evaluation and monitoring.

Coverage edges (added 2026-08-08, at the curator's request for a wider backlog). These widen what the spoke covers instead of answering an open question above; one ordinary solid source closes any.

  1. Gradient-boosted trees. CLOSED 2026-08-09 (research pass) — xgboost (Chen & Guestrin, KDD 2016) and tabular-deep-learning-benchmark (Grinsztajn et al., NeurIPS D&B 2022), both T1, with gradient-boosted-trees as the concept page. Successor: run the comparison question 7 actually needs. The baseline now exists on paper and nobody has pointed it at a time-series foundation model. — needs: an M-competition-style evaluation, or any published result putting a foundation model against boosted trees and ARIMA/ETS on real series. HALF CLOSED 2026-08-31 (research pass) by gift-eval (T1): 23 real datasets, 97 configurations, and the ARIMA/ETS half is answered — foundation models beat Auto_ARIMA, and a per-dataset supervised transformer beats them in turn. The boosted-tree half is untouched, and the reason is now the finding: GIFT-Eval's 17 baselines include no tree ensemble of any kind. Residue as edge 4a below. 4a. The boosted-tree comparison, which nobody runs. (new 2026-08-31, residue of edge 4) gift-eval is the field's general forecasting benchmark and its 17 baselines contain no XGBoost, no LightGBM, no tree ensemble at all — while tabular-deep-learning-benchmark says trees still lead on messy medium-sized data. Somebody has to put the two on the same series. — needs: an M-competition result, a Kaggle-style forecasting write-up with both, or any paper running boosted trees beside a time-series foundation model on real data.

  2. Model selection and validation. Cross-validation, leakage and the split protocol are what pervasive-label-errors and every benchmark claim here silently depend on. — needs: a textbook chapter or a paper on leakage in published work.

  3. The machinery under demo-to-production-gap. Feature stores, drift monitoring and retraining triggers are named by implication and never described. — needs: a system report from a team running one, or a tool's architecture docs.

  4. Interpretability. SHAP, LIME and partial-dependence plots are how deployed models get explained to the people affected by them, and no page covers any of it. — needs: the SHAP paper (T1) plus one critique of its limits.

  5. New 2026-08-14 — representation learning, opened rather than closed. paraphrastic-similarity-parallel-translations is the corpus's first source where training a model is the subject rather than adapting one (fine-tuning) or fitting tabular data (gradient-boosted-trees): a contrastive objective over sentence pairs, with hard-negative mining as the technique that makes the loss actually bite. It also feeds edge 2 from an angle nothing else here has: its own baseline check found an untrained random encoder beating published models on monolingual STS by exploiting lexical overlap the metric doesn't control for — the same "an unchecked baseline can win for the wrong reason" caution tabular-deep-learning-benchmark and pervasive-label-errors raise, but caught by the paper's own authors rather than by an outside audit. — needs: a second representation-learning source (vision or audio embeddings would widen the pattern past text) to say whether the random-baseline trap and the pooling-beats-depth result generalize past sentences.

  6. New 2026-08-31 — independent reproduction of manufactured supervision. The manufacture-don't-annotate strategy above rests on one first-party report with no peer review, no venue, no named authors and no released discovery agent — the loop that produces the supervision is described, not shipped (code-as-world releases inference and evaluation only). The one number this spoke trusts is the internal 31.2 → 50.6 delta against the model's own base. — needs: a T1/T2 result from someone other than mirros on simulator-derived training data, or any published attempt to reproduce the QuantiPhy gain. Failing that, a source on synthetic-data generation as a training practice in general, which would let the corpus say whether the right-render/wrong-mechanism failure is specific to physics or generic to the method.

Index — Machine Learning Wiki

Catalog of every page, grouped by schema.org @type. Spine: synthesis (thesis), log.md (history), this file (catalog). Spun out of the hub _inbox on 2026-07-30 (5 sources, four tags). Most speed and memory numbers in this domain are first-party and unreplicated — record the setup beside the number, or say the source gave none.

DefinedTerm (concepts)

SoftwareApplication

SoftwareSourceCode (sources)

Collection (sources)

Book (sources)

Article (sources)

ScholarlyArticle (sources)

Report (sources)

Dataset

Person (entities)

Organization (entities)

Linked cross-wiki, not duplicated: The New Stack (the-new-stack, ../ai-governance-wiki) · Google (google, ../llm-providers-wiki) as timesfm's maker · backtesting (backtesting, ../quant-trading-wiki) as the trading-side sibling of rolling-origin evaluation · Qwen (qwen, ../llm-providers-wiki) as code-as-world-vl's base · Stanford University (stanford-university, ../agentic-tooling-wiki) as quantiphy's home · LLMs can't jump (llms-cant-jump, ../research-wiki), whose missing-abduction argument code-as-world-report §5.5 confirms.