Oct 2026· Frontiers in Language Sciences· 1 citation· 10 references
Abstract
Safety-incident reports are written with deliberate epistemic caution: A reporter marks what was seen, what was inferred, and what remains unsure, and a dropped hedge can turn a tentative observation into an apparent cause. As large language models take over summarizing such reports for triage, indexing, and search, whether they preserve that caution becomes a property of the safety record itself. This study asks whether models keep a reporter's expressed uncertainty when they summarize, testing two hypotheses fixed before any summary was generated: that models systematically harden uncertainty by default and that an explicit instruction to preserve it overcorrects into softening. Six open-weight models summarized 42 real incident reports, 30 from the United States Aviation Safety Reporting System and 12 from the United Kingdom Marine Accident Investigation Branch, under a plain prompt, a preserve prompt, and a paraphrase of it. Uncertainty change was measured two ways: at the passage level, by a deterministic epistemic-marker lexicon, and at the claim level, by aligning those markers between source and summary, each validated against manual annotation and cross-checked against two independent language-model judges. Under plain summarization, all six models hardened the reporter's uncertainty (claim-level hardening 0.59–0.85), dropping explicit hedges almost entirely (retention about 0.08) while epistemic modal verbs survived far better. The preserve instruction reversed the pattern into over-softening: In a cluster-robust logistic regression, it carried an odds ratio of 0.12 (95% CI [0.03, 0.49], p = 0.003) and held once summary length was controlled, so the change reflects expressed certainty rather than compression. In practical terms, the instruction lowered the predicted probability of hardening from about 0.43 to 0.13 (Cohen's h = 0.69), and the effect held in mixed-effects models and under adverse imputation of the missing outputs. The pattern was directionally consistent across the tested models and both instruction wordings. Automated safety triage that relies on model summaries should measure epistemic fidelity directly and not treat a single preserve instruction as a solution.
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
The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.
P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al.· IEEE International Conferenc...· 110 citations· ⚡7
The findings show that speed related agile practices are used to a greater extent in comparison to quality practices, and that software startups who adopt the Lean Startup approach do not sacrifice quality for speed more than other startups do.
Jevgenija Pantiuchina, Marco Mondini, Dron Khanna et al.· International Conference on...· 84 citations· ⚡4
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.