Which Signal Did the Synthesis Import? Information, Re-presentation and Selection in Synthetic Pretraining, Why 'the Verifier Is Doing the Work' Holds Only Where Correctness Is the Target, and the Controls That Would Assign the Credit
Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Topic Modeling
Abstract
(c) 2026 Pranay Mahendrakar. Licensed under CC BY 4.0. The expectation that language models will keep improving after the supply of human text runs out rests on a claim about synthetic data: that a model, or a family of models, can produce training text worth more than the text it was trained on. A competing reading holds that no synthetic-data success is self-generated at all, because every pipeline that works draws on something outside the generating model, most visibly a verifier. In this analysis the author reviews and synthesises published results on synthetic data for pretraining, continued pretraining and mid-training, and argues that both readings are posed at the wrong grain. Read as a conservation law, the imported-signal claim is true and uninformative, since every generator's weights were themselves fitted to human text. Read as a claim about what explains a measured gain, it splits. The paper separates three contributions a synthetic corpus can make - new information, re-presentation of information already in an organic seed, and selection within the generator's own distribution - and four places the signal can come from: the seed text, the generator's prior, a selection signal, and the designer's prompts or grammars. Against that ledger, the best-controlled pretraining gains are mostly re-presentation: they beat repetition of the same corpus, they persist when the generator is small, and summarisation of web pages nearly matches teacher-written textbooks. There is no verifier in those pipelines. The verifier does the work where the target is correctness, in geometry, code and arithmetic. The most self-contained bootstrapping results use held-out human text as the scorer. No located pretraining result shows a gain from self-generation with none of the four sources present, and the pipelines that come closest score below the real-data baseline on factuality. The paper consolidates the reported values, states a credit-assignment protocol, and names the five controls that would settle the open part.
Supporting data, adapters, predictions and code for the article *Low-Cost LoRA Fine-Tuning of Small Language Models for Multi-Step Arithmetic Reasoning* by Jake O'Grady, Asena Isik Gürhan, Chee Fong Ting and Effirul Ramlan (University of Galway). We generated 20,000 GSM8K-derived arithmetic problems with step-by-step s...
O'Grady, Jake, Gürhan, Asena Isik, Chee, Fong Ting et al.· Zenodo (CERN European Organi...· 465 citations
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.