Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
AIproposesCodeVerifies is a local tool that checks whether a text rewritten or translated by an AI assistant preserves the data the user has chosen to protect. Principle: the AI proposes, the code verifies, the person decides. The tool compares the original text with the AI's proposal and detects certain classes of changes, omissions and additions in dates, times, amounts, deadlines, legal references, URLs, Spanish national ID numbers (DNI/NIE), and user-defined protected, required or forbidden terms. It also applies a small set of optional style rules. Users define their checks through exportable and importable JSON profiles. Everything runs in the browser. There is no server, no network communication, and no machine-learning model: the checks are deterministic, rule-based code. The user copies text to and from the AI service manually; the tool does not connect to any AI service. Package contents (version 1.0.0): - index.html: self-contained web version. - extension/: Chrome/Edge extension (Manifest V3, side panel and context menu; permissions: sidePanel, storage, contextMenus; no host permissions). - engine/: verification engine (v12) with SHA-256 integrity check. - tests/ and scripts/: regression, profile and packaging tests. - README, LICENSE and CITATION.cff. Scope and limits: the tool detects certain classes of errors; it does not check meaning, factual truth, or whether a cited legal norm is correct, and it does not guarantee that an AI output is correct. The engine is in a validation phase and has been developed and tested with Spanish-language texts. No external user study has been conducted for this release. Privacy: texts checked by the user are not sent to any server. Profiles are stored locally in the browser; a temporary working draft is kept in session storage.
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