Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Software Engineering Research
Abstract
When swarms of autonomous AI agents solve complex coding and scientific discovery tasks, they reset their memory between sessions. As a result, agents waste compute repeatedly re-deriving the same mathematical algorithms from scratch while copying subtle numerical errors. Existing skill libraries either store unverified code that spreads bugs across the swarm, or rely on formal verification systems that attempt to translate ordinary Python code into pure mathematical equations—a process that succeeds on only 12.5% of imperative scientific programs. We present OpenCommons, a decentralized concept commons that catalogs algorithms by what they actually compute rather than their surface syntax. By executing functions against a small suite of boundary test inputs, OpenCommons identifies equivalent implementations in less than a millisecond, achieving 100% coverage of native scientific code. An asynchronous peer-review engine stress-tests contributed code in the background, quarantining all defective submissions across six adversarial defect classes with zero false alarms. When evaluated on live language models solving scientific discovery tasks, retrieving verified concept cards increases first-attempt success from 33.3% to 83.3% while preventing the propagation of subtle bugs. Across multi-wave research horizons, this verified shared library reduces cumulative discovery cost by 12.67x, providing a dependable foundation for collective machine intelligence.
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
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 23, 2026
Assistant Professor Benjamin Lindquist studies how engineers deliberately injected randomness into early AI, giving rise to deep-learning models that sometimes hallucinate.
Flint-interactive gives AI agents a language for creating interactive visualizations. Click a chart, filter data, highlight related content, and explore beyond the view the author originally chose. The post Flint-interactive: A language for creating interactive data visualizations appeared first on Microsoft Research.